diff options
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
| -rw-r--r-- | src/algebra/fspace.spad.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet index 4b1aafa4..d5af612b 100644 --- a/src/algebra/fspace.spad.pamphlet +++ b/src/algebra/fspace.spad.pamphlet @@ -256,7 +256,8 @@ ExpressionSpace(): Category == Defn where elt(op:OP, args:List %) == not belong? op => error "Unknown operator" - (#args)::Arity ~= arity op => error "Wrong number of arguments" + (#args)::Arity ~= arity op and (arity op ~= arbitrary()) => + error "Wrong number of arguments" (v := evaluate(op,args)$BasicOperatorFunctions1(%)) case % => v::% okkernel(op, args) |