From 4c62f989b0c11eb9d3e6c04d966d108fd842fe5d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 17 Jun 2010 02:36:50 +0000 Subject: * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement on argument. (RightLinearSet): Likewise. (LinearSet): Likewise. --- 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 8a88d732..3149256b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -264,7 +264,8 @@ $(OUT)/LOGIC.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \ $(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) -- cgit v1.2.3