From 8c47810df65c610513d4be825bd6ee9a56f97f9f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 9 Mar 2011 23:54:10 +0000
Subject: 	* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now 
 return Maybe %. 	* algebra/ffcat.spad.pamphlet: Propagate change. 
 * algebra/fmod.spad.pamphlet: Likewise. 	*
 algebra/fraction.spad.pamphlet: Likewise. 	*
 algebra/integer.spad.pamphlet: Likewise. 	* algebra/pfbr.spad.pamphlet:
 Likewise. 	* algebra/polycat.spad.pamphlet: Likewise. 	*
 algebra/si.spad.pamphlet: Likewise.

---
 src/algebra/fmod.spad.pamphlet | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/algebra/fmod.spad.pamphlet')

diff --git a/src/algebra/fmod.spad.pamphlet b/src/algebra/fmod.spad.pamphlet
index b40501f5..071bd6e7 100644
--- a/src/algebra/fmod.spad.pamphlet
+++ b/src/algebra/fmod.spad.pamphlet
@@ -40,10 +40,10 @@ IntegerMod(p:PositiveInteger):
   0 == per(0$Rep)
   1 == per(1$Rep)
   init == 0
-  nextItem(n) ==
+  nextItem n ==
     m := n+1
-    m = 0 => "failed"
-    m
+    m = 0 => nothing
+    just m
 
   zero? x == rep x = 0
   one? x == rep x = 1
-- 
cgit v1.2.3