From 0a2de7f543ac23b8576a232c0ecf6a5f49c1884a Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 14 Aug 2003 09:29:07 +0000
Subject: [PATCH] * Lam -> Function. Doh!

---
 src/fix.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fix.cc b/src/fix.cc
index 420dd7c04..dd02d7538 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 */