diff options
| -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 */ |