aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
Diffstat (limited to 'frontend')
-rw-r--r--frontend/generics1.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/generics1.icl b/frontend/generics1.icl
index 0ae6dec..c652e73 100644
--- a/frontend/generics1.icl
+++ b/frontend/generics1.icl
@@ -3614,7 +3614,7 @@ foldExpr f expr=:(Var _) st
foldExpr f expr=:(App {app_args}) st
# st = f expr st
= foldSt (foldExpr f) app_args st
-foldExpr f expr1=:(expr@exprs) st
+foldExpr f expr1=:(expr @ exprs) st
# st = f expr st
= foldSt (foldExpr f) [expr:exprs] st
foldExpr f expr=:(Let {let_lazy_binds, let_strict_binds, let_expr}) st