From 3038de25849b587893cb7de2302aad17cccd5f74 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 10 May 2009 00:06:04 +0000
Subject: Fix thinko

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

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

diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet
index 9180b693..d365fb44 100644
--- a/src/algebra/kl.spad.pamphlet
+++ b/src/algebra/kl.spad.pamphlet
@@ -230,7 +230,8 @@ Kernel(S:OrderedSet): Exports == Implementation where
       k1.posit < k2.posit
 
     kernel(fn, x, n) ==
-      (#x)::Arity ~= arity fn => error "Wrong number of arguments"
+      (#x)::Arity ~= arity fn and (arity fn ~= arbitrary()) => 
+        error "Wrong number of arguments"
       enterInCache([fn, x, n, 0]$Rep, triage)
 
     -- SPECIALDISP contains a map List S -> OutputForm
-- 
cgit v1.2.3