From c3b50d06f5f3be949d42619a014e4744853db68a Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 1 Dec 2008 04:32:04 +0000
Subject: 	* interp/parse.boot (parseEquivalence): Remove.

---
 src/interp/parse.boot | 8 --------
 1 file changed, 8 deletions(-)

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

diff --git a/src/interp/parse.boot b/src/interp/parse.boot
index 74677690..f4d40583 100644
--- a/src/interp/parse.boot
+++ b/src/interp/parse.boot
@@ -327,13 +327,6 @@ parseOr t ==
     parseIf ["IF",y,parseOr ["or",:rest u],"true"]
   parseIf ["IF",x,"true",parseOr ["or",:rest u]]
  
-
-parseEquivalence: %ParseForm -> %Form
-parseEquivalence t == 
-  t isnt ["eqv",a,b] => systemErrorHere "parseEquivalence"
-  parseIf ["IF",a,b,parseIf ["IF",b,:'(false true)]]
- 
-
 parseExclusiveOr: %ParseForm -> %Form
 parseExclusiveOr t == 
   t isnt ["xor",a,b] => systemErrorHere "parseExclusiveOr"
@@ -535,7 +528,6 @@ for x in [["<=", :"parseLessEqual"],_
 	  ["CATEGORY", :"parseCategory"],_
 	  ["construct", :"parseConstruct"],_
 	  ["DEF", :"parseDEF"],_
-	  ["eqv", :"parseEquivalence"],_
 	  ["exit", :"parseExit"],_
 	  ["has", :"parseHas"],_
 	  ["IF", :"parseIf"],_
-- 
cgit v1.2.3