diff options
Diffstat (limited to 'src/boot/ast.boot.pamphlet')
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
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)== |