diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 21:36:45 +0000 |
commit | 3d51abbf17fa58fadbfa59757f50908488f6f9d9 (patch) | |
tree | 7fd28af0acab689ee3cc00bd31550ab61ce842d4 /src/interp/ht-util.boot | |
parent | c758c27852f049e021da8855a290dd876e3b7050 (diff) | |
download | open-axiom-3d51abbf17fa58fadbfa59757f50908488f6f9d9.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/ht-util.boot')
-rw-r--r-- | src/interp/ht-util.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/ht-util.boot b/src/interp/ht-util.boot index ad02d338..440fbddf 100644 --- a/src/interp/ht-util.boot +++ b/src/interp/ht-util.boot @@ -372,7 +372,7 @@ renamePatternVariables1(condList, substList, patVars) == cond is ['isDomain, pv, pattern] or cond is ['ofCategory, pv, pattern] or cond is ['Satisfies, pv, cond] => if pv = $EmptyMode then nsubst := substList - else nsubst := [[pv, :car patVars], :substList] + else nsubst := [[pv, :first patVars], :substList] renamePatternVariables1(restConds, nsubst, rest patVars) substList |