From 3d51abbf17fa58fadbfa59757f50908488f6f9d9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 9 May 2010 21:36:45 +0000
Subject: More cleanups

---
 src/boot/ast.boot | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/boot')

diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 263108e1..3ad7d4d8 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -475,7 +475,7 @@ bfSUBLIS1(p,e)==
    p = nil => e
    f := first p
    EQ(first f,e) => bfSUBLIS(p, rest f)
-   bfSUBLIS1(cdr p,e)
+   bfSUBLIS1(rest p,e)
  
 defSheepAndGoats(x)==
   case x of 
@@ -531,7 +531,7 @@ bfLET1(lhs,rhs) ==
 bfCONTAINED(x,y)==
     EQ(x,y) => true
     atom y=> false
-    bfCONTAINED(x,car y) or bfCONTAINED(x,cdr y)
+    bfCONTAINED(x,first y) or bfCONTAINED(x,rest y)
  
 bfLET2(lhs,rhs) ==
   IDENTP lhs => bfLetForm(lhs,rhs)
@@ -901,7 +901,7 @@ shoeCompTran1 x==
 	 MEMQ(x,$dollarVars)=>$dollarVars
 	 [x,:$dollarVars]
     nil
-  U:=car x
+  U:=first x
   U = "QUOTE" => nil
   x is ["L%T",l,r] =>
     x.first := "SETQ"
-- 
cgit v1.2.3