From 50617665789d393c74ddbb779129fba0edd201f5 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Thu, 31 Dec 2015 17:41:40 -0800
Subject: Don't unconditionally reference primitive types if they are being
 defined.

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

(limited to 'src/algebra')

diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index 6838a053..6474ec28 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -113,7 +113,7 @@ Integer: IntegerNumberSystem with
       1 == %icst1
       zero? x == x = 0$%
       one? x == x = 1$%
-      base()  == 2 pretend %
+      base()  == 2@%
       copy x  == x
       inc  x  == %iinc x
       dec  x  == %idec x
@@ -133,7 +133,7 @@ Integer: IntegerNumberSystem with
 
       latex(x:%):String ==
         s := %i2s x
-        -1$% < x and x < 10 => s
+        -1$% < x and x < 10@% => s
         %strconc("{", %strconc(s, "}"))
 
       positiveRemainder(a, b) ==
-- 
cgit v1.2.3