From 6f5bb8b97c05bc027dff9577d3cba33938c8ee9c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 10 Jun 2009 10:41:51 +0000
Subject: 	* interp/parse.boot (parseDropAssertions): Remove. 
 (parseCategory): Don't call it. 	* interp/nrungo.boot (lookupPred):
 Don't check for "asserted".

---
 src/interp/parse.boot | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'src/interp/parse.boot')

diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index 6daf3ea3..f2ff3381 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -244,21 +244,13 @@ parseCategory: %ParseForm -> %Form
 parseCategory t ==
   t isnt ["CATEGORY",:x] => systemErrorHere ["parseCategory",t]
   $parsingType: local := true
-  l:= parseTranList parseDropAssertions x
+  l:= parseTranList x
   key:=
     CONTAINED("$",l) => "domain"
     "package"
   ["CATEGORY",key,:l]
  
 
-parseDropAssertions: %ParseForm -> %Form
-parseDropAssertions x ==
---note: the COPY of this list is necessary-- do not replace by RPLACing version
-  x is [y,:r] =>
-    y is ["IF","asserted",:.] => parseDropAssertions r
-    [y,:parseDropAssertions r]
-  x
- 
 parseLessEqual: %ParseForm -> %Form
 parseLessEqual u == 
   parseTran ["not",[substitute(">","<=",first u),:rest u]]
-- 
cgit v1.2.3