about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T09·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T09·29+0000
commit0a2de7f543ac23b8576a232c0ecf6a5f49c1884a (patch)
treeadf3e80a168ec5305d58e45954811616b8adb892 /src
parent95b49f804456cf532e61478d7f604aed381173d7 (diff)
* Lam -> Function. Doh!
Diffstat (limited to 'src')
-rw-r--r--src/fix.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix.cc b/src/fix.cc
index 420dd7c0495c..dd02d75387da 100644
--- a/src/fix.cc
+++ b/src/fix.cc
@@ -53,7 +53,7 @@ static Expr substExpr(string x, Expr rep, Expr e)
         else
             return e;
 
-    if (ATmatch(e, "Lam(<str>, <term>)", &s, &e2))
+    if (ATmatch(e, "Function(<str>, <term>)", &s, &e2))
         if (x == s)
             return e;
     /* !!! unfair substitutions */