From 88431a10d86db0b69fb67339dcacf088d005482b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 27 Oct 2010 08:36:45 +0000
Subject: 	* algebra/boolean.spad.pamphlet (Logic): Now extend Type.

---
 src/algebra/strap/NNI.lsp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/strap/NNI.lsp')

diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index efe37d37..55d5f335 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -40,7 +40,7 @@
 
 (DEFUN |NonNegativeInteger| ()
   (DECLARE (SPECIAL |$ConstructorCache|))
-  (PROG (#0=#:G1409)
+  (PROG (#0=#:G1384)
     (RETURN
       (COND
         ((SETQ #0# (HGET |$ConstructorCache| '|NonNegativeInteger|))
-- 
cgit v1.2.3