diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-18 05:43:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-18 05:43:52 +0000 |
commit | 3467029153bc8d2115fb961eb5e4e995d62034f0 (patch) | |
tree | 749cf4c97081e5013fb31b1c5af16262da65327a /src/interp/nruncomp.boot | |
parent | 6f895d0aed70b3a0ff95f19a5f3e4472c65bfd0d (diff) | |
download | open-axiom-3467029153bc8d2115fb961eb5e4e995d62034f0.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index d7b9eefd..4c5c3b11 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -199,7 +199,7 @@ genDeltaEntry(opMmPair,e) == if eltOrConst = 'Subsumed then eltOrConst := 'ELT if atom dc then dc = "$" => nsig := sig - if NUMBERP nsig then nsig := MSUBST("$",dc,substitute("$$","$",sig)) + if integer? nsig then nsig := MSUBST("$",dc,substitute("$$","$",sig)) setDifference(listOfBoundVars dc,$functorLocalParameters) ~= [] => ['applyFun,['compiledLookupCheck,MKQ op, mkList consSig(nsig,dc),consDomainForm(dc,nil)]] |