diff options
| -rw-r--r-- | src/boot/ChangeLog | 4 | ||||
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 2 |
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)== |