From 69c6cffa3e09dfdf129cfd90492c7c04d6f23919 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 1 Mar 2009 17:36:14 +0000
Subject: 	* interp/g-opt.boot (optimize): Remove non-qualified 
 interpretation of 'false' and 'true'. 	(optCond): Emit 'NOT', not 'NULL'. 
 (optIF2COND): Likewise. 	(EqualBarGensym): Tidy.

---
 src/algebra/boolean.spad.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 836e57dd..b38ef042 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -523,8 +523,8 @@ KleeneTrivalentLogic(): Public == Private where
       ++ s case true holds if the value of `x' is `true'.
   Private == add
     Rep == Byte    -- We need only 3 bits, in fact.
-    false == per(0::NonNegativeInteger::Byte)
-    unknown == per(1::NonNegativeInteger::Byte)
+    false == per(0::Byte)
+    unknown == per(1::Byte)
     true == per(2::Byte)
     x = y == rep x = rep y
     x case true == x = true
-- 
cgit v1.2.3