aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/boot/ChangeLog4
-rw-r--r--src/boot/ast.boot.pamphlet2
2 files changed, 5 insertions, 1 deletions
diff --git a/src/boot/ChangeLog b/src/boot/ChangeLog
index 56258d27..5354e39f 100644
--- a/src/boot/ChangeLog
+++ b/src/boot/ChangeLog
@@ -1,3 +1,7 @@
+2007-10-15 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * ast.boot.pamphlet (bfSUBLIS1): Return fix point.
+
2007-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu>
* tokens.boot.pamphlet: SHOEEQ and Old Boot EQUAL are know to
diff --git a/src/boot/ast.boot.pamphlet b/src/boot/ast.boot.pamphlet
index 761175bc..2d0b7e64 100644
--- a/src/boot/ast.boot.pamphlet
+++ b/src/boot/ast.boot.pamphlet
@@ -447,7 +447,7 @@ bfSUBLIS(p,e)==
bfSUBLIS1(p,e)==
null p =>e
f:=CAR p
- EQ(CAR f,e)=>CDR f
+ EQ(CAR f,e)=> bfSUBLIS(p, CDR f)
bfSUBLIS1(cdr p,e)
defSheepAndGoats(x)==