From 6ec189437ed7e4f737875407152cd2c359d2942e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 28 May 2008 00:29:58 +0000
Subject: 	* algebra/catdef.spad.pamphlet (OrderedSemiGroup): New. 
 * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.

---
 src/algebra/Makefile.pamphlet | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/algebra/Makefile.pamphlet')

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 28596791..0012c422 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -218,7 +218,8 @@ axiom_algebra_layer_1 = \
   AGG      AGG-     IEVALAB  IEVALAB- FORTCAT   ITUPLE   \
   PATAB    PPCURVE  PSCURVE  REAL     RESLATC   RETRACT  \
   RETRACT- SEGCAT   BINDING  SYNTAX   BMODULE   LOGIC    \
-  LOGIC-   EVALAB   EVALAB-  FEVALAB  FEVALAB-  BYTE
+  LOGIC-   EVALAB   EVALAB-  FEVALAB  FEVALAB-  BYTE     \
+  OSGROUP
 
 axiom_algebra_layer_1_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_1))
-- 
cgit v1.2.3