diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-10 00:06:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-10 00:06:04 +0000 |
commit | 3038de25849b587893cb7de2302aad17cccd5f74 (patch) | |
tree | 566cafc6fcf2c54065b32adab5b3ab9eb1183e52 /src/algebra/kl.spad.pamphlet | |
parent | 2e9dc79676f737f2b905560a8a70d8fbed27b04a (diff) | |
download | open-axiom-3038de25849b587893cb7de2302aad17cccd5f74.tar.gz |
Fix thinko
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
-rw-r--r-- | src/algebra/kl.spad.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
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 |