diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-07-02 02:36:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-07-02 02:36:13 +0000 |
| commit | 75562692f6375a5ce067997d494a3238eb77f6d5 (patch) | |
| tree | 49bfa85b80e2b9d2b9a33dd6c99de245f0f96330 /src/interp/br-saturn.boot | |
| parent | cb90da3427de1c9113fdf285ba6ba3a9d307fb6f (diff) | |
| download | open-axiom-75562692f6375a5ce067997d494a3238eb77f6d5.tar.gz | |
Rever sharp var list changes.
Diffstat (limited to 'src/interp/br-saturn.boot')
| -rw-r--r-- | src/interp/br-saturn.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/br-saturn.boot b/src/interp/br-saturn.boot index 9559cee7..6f55c992 100644 --- a/src/interp/br-saturn.boot +++ b/src/interp/br-saturn.boot @@ -1235,7 +1235,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate, --RDJ: this next line is necessary until compiler bug is fixed --that forgets to substitute #variables for t#variables; --check the signature for SegmentExpansionCategory, e.g. - tvarlist := tvarList # $conargs + tvarlist := take(# $conargs,$TriangleVariableList) $signature := applySubst(pairList(tvarlist,$FormalMapVariableList),$signature) $sig := which = '"attribute" or which = '"constructor" => sig |