From 48f637f5c023da0b31ae7460cbb8f3b0eebdf197 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 17 Jun 2013 02:24:30 +0000
Subject: More algebra dependencies.

---
 src/algebra/catdef.spad.pamphlet | 1 -
 1 file changed, 1 deletion(-)

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

diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index f8c394ee..2711ff4e 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -1231,7 +1231,6 @@ Group(): Category == Monoid with
 ++   canonicalsClosed\tab{20}the product of two canonicals is itself canonical
 
 IntegralDomain(): Category ==
---  Join(CommutativeRing, Algebra(%:CommutativeRing), EntireRing) with
   Join(CommutativeRing, Algebra(%), EntireRing) with
     --operations
       exquo: (%,%) -> Union(%,"failed")
-- 
cgit v1.2.3