diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-15 21:56:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-15 21:56:20 +0000 |
commit | 53356dde96d8bc9e264dbd291df8b9b3a75aa5d1 (patch) | |
tree | 2ff719aaa40e8978033107dbad034189c2c296ba /src/interp/modemap.boot | |
parent | 63a250a0a3b189e6e315008936aa9e53984b5ba5 (diff) | |
download | open-axiom-53356dde96d8bc9e264dbd291df8b9b3a75aa5d1.tar.gz |
misc cleanup
Diffstat (limited to 'src/interp/modemap.boot')
-rw-r--r-- | src/interp/modemap.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index fcf08109..c6f6f50c 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -191,7 +191,7 @@ mergeModemap(entry is [[mc,:sig],[pred,:.],:.],modemapList,e) == mc=mc' or isSubset(mc,mc',e) => newmm:= nil mm:= modemapList - while (not EQ(mm,mmtail)) repeat (newmm:= [first mm,:newmm]; mm:= rest mm) + while (not sameObject?(mm,mmtail)) repeat (newmm:= [first mm,:newmm]; mm:= rest mm) if (mc=mc') and (sig=sig') then --We only need one of these, unless the conditions are hairy not $forceAdd and TruthP pred' => |