From a7ca7aef072617deed7a33647094adc3071a2012 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Sun, 7 Feb 2016 08:48:15 -0800
Subject: PolynomialCategoryLifting: Weaken constraint on that parameter

The extra requirement of SetCategory was not being used, as pointed
out by Ralf Hemmecke.
---
 src/algebra/polycat.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet
index 4f0d80dd..4486b259 100644
--- a/src/algebra/polycat.spad.pamphlet
+++ b/src/algebra/polycat.spad.pamphlet
@@ -630,7 +630,7 @@ PolynomialCategoryLifting(E,Vars,R,P,S): Exports == Implementation where
   Vars: OrderedSet
   R   : Ring
   P   : PolynomialCategory(R, E, Vars)
-  S   : SetCategory with
+  S   : BasicType with
            + : (%, %) -> %
            * : (%, %) -> %
            **: (%, NonNegativeInteger) -> %
-- 
cgit v1.2.3