From 9bef621350fff8de58a30cada7c1a64d76b778fb Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 29 Sep 2009 07:42:49 +0000
Subject: 	* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make
 an 	OrderedMonoid.

---
 src/algebra/xpoly.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/algebra/xpoly.spad.pamphlet b/src/algebra/xpoly.spad.pamphlet
index a862c711..708f697f 100644
--- a/src/algebra/xpoly.spad.pamphlet
+++ b/src/algebra/xpoly.spad.pamphlet
@@ -42,7 +42,7 @@ OrderedFreeMonoid(S: OrderedSet): OFMcategory == OFMdefinition where
     NNI ==> NonNegativeInteger
     REC ==> Record(gen:S, exp:NNI)
  
-    OFMcategory == Join(FreeMonoidCategory S,OrderedSet) with
+    OFMcategory == Join(FreeMonoidCategory S,OrderedMonoid) with
         first: % -> S
           ++ \spad{first(x)} returns the first letter of \spad{x}.
         rest:  % -> %
-- 
cgit v1.2.3