aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2007-02-14 12:43:28 +0000
committerjohnvg2007-02-14 12:43:28 +0000
commitb0c2242f425abb39613e6fdd820cdc275c326303 (patch)
tree2297ccafd40a9eb856531f2a81371cb1a54ebf8b
parentremove unused code (diff)
add space before and after @
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1648 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-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