diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-14T09·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-14T09·29+0000 |
| commit | 0a2de7f543ac23b8576a232c0ecf6a5f49c1884a (patch) | |
| tree | adf3e80a168ec5305d58e45954811616b8adb892 /src | |
| parent | 95b49f804456cf532e61478d7f604aed381173d7 (diff) | |
* Lam -> Function. Doh!
Diffstat (limited to 'src')
| -rw-r--r-- | src/fix.cc | 2 |
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 */ |