diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-28 23:39:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-28 23:39:44 +0000 |
commit | ca4b1b74d8e743f50f0db37f1b33265f46547f01 (patch) | |
tree | cfa8803798bef9eb304da47b18ef024c5c39b702 /src/interp/i-funsel.boot | |
parent | 9ddf05bc7781163fbd6bd2b894337d8721de117a (diff) | |
download | open-axiom-ca4b1b74d8e743f50f0db37f1b33265f46547f01.tar.gz |
Character constants clean up
Diffstat (limited to 'src/interp/i-funsel.boot')
-rw-r--r-- | src/interp/i-funsel.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index bdb13805..37939a6a 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -517,7 +517,7 @@ argCouldBelongToSubdomain(op, nargs) == -- each signature has form -- [domain of implementation, target, arg1, arg2, ...] for [sig,cond,:.] in mms repeat - for t in CDDR sig for i in 0..(nargs) repeat + for t in CDDR sig for i in 0..nargs repeat CONTAINEDisDomain(t,cond) => v.i := 1 + v.i v |