Fixes: #38238 rename pushback to concat.

2020-04-24 17:12:46 -07:00
parent 9f55b5f4d8
commit ff6d427b2f
2 changed files with 41 additions and 49 deletions
@@ -224,7 +224,7 @@ Many of the functions are defined in Python, like ``dip``:
    def dip(stack, expression, dictionary):
      (quote, (x, stack)) = stack
      expression = x, expression
-      return stack, pushback(quote, expression), dictionary
+      return stack, concat(quote, expression), dictionary
    

 Some functions are defined in equations in terms of other functions.