From a414efcb69a3d906f08050e020726cc19f034336 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 15 Oct 2007 16:46:02 +0000 Subject: * ast.boot.pamphlet (bfSUBLIS1): Return fix point. --- src/boot/ChangeLog | 4 ++++ src/boot/ast.boot.pamphlet | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) 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 + + * ast.boot.pamphlet (bfSUBLIS1): Return fix point. + 2007-10-14 Gabriel Dos Reis * 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)== -- cgit v1.2.3