diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:09:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:09:07 +0000 |
| commit | c758c27852f049e021da8855a290dd876e3b7050 (patch) | |
| tree | 7404ceb2eea0aa1d17e1e42c115361178a7fb19f /src/interp/br-con.boot | |
| parent | a6c8f543276feb112a408d9347b56addd558bd6e (diff) | |
| download | open-axiom-c758c27852f049e021da8855a290dd876e3b7050.tar.gz | |
More cleanups
Diffstat (limited to 'src/interp/br-con.boot')
| -rw-r--r-- | src/interp/br-con.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-con.boot b/src/interp/br-con.boot index 20dd8c25..32e0c9df 100644 --- a/src/interp/br-con.boot +++ b/src/interp/br-con.boot @@ -1309,7 +1309,7 @@ PUT('Enumeration, 'documentation, substitute(MESSAGE, 'MESSAGE, '( mkConArgSublis args == [[arg,:INTERN digits2Names PNAME arg] for arg in args - | (s := PNAME arg) and "or"/[DIGITP ELT(s,i) for i in 0..MAXINDEX s]] + | (s := PNAME arg) and "or"/[DIGITP s.i for i in 0..MAXINDEX s]] digits2Names s == --This is necessary since arguments of conforms CANNOT have digits in TechExplorer |