From e9cb4189b0833dd88163889d9b68a00b2e15f26c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 25 May 2009 18:04:22 +0000
Subject: 	* algebra/kl.spad.pamphlet (KernelFunctions2): Remove
 OrderedSet 	requirements. 	* algebra/op.spad.pamphlet
 (BasicOperatorFunctions1): Likewise.

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

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

diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet
index de767784..14077426 100644
--- a/src/algebra/kl.spad.pamphlet
+++ b/src/algebra/kl.spad.pamphlet
@@ -258,7 +258,7 @@ Kernel(S: SetCategory): Exports == Implementation where
 )abbrev package KERNEL2 KernelFunctions2
 ++ Description:
 ++ This package exports some auxiliary functions on kernels
-KernelFunctions2(R:OrderedSet, S:OrderedSet): with
+KernelFunctions2(R: SetCategory, S: SetCategory): with
   constantKernel: R -> Kernel S
 	++ constantKernel(r) \undocumented
   constantIfCan : Kernel S -> Union(R, "failed")
-- 
cgit v1.2.3