diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-19 18:14:50 +0000 |
commit | faaf19e1912ba48e9fbd195d2b90c4e205c87538 (patch) | |
tree | 18a81dba1f12285383ba73beaeb8febb6606ea37 /src/interp/i-resolv.boot | |
parent | 9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff) | |
download | open-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz |
cleanup
Diffstat (limited to 'src/interp/i-resolv.boot')
-rw-r--r-- | src/interp/i-resolv.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index dd974b3e..b181b769 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -795,6 +795,6 @@ compareTT(t1,t2) == -- 'T if type t1 is more nested than t2 -- otherwise 'T if t1 is lexicographically greater than t2 t1 is [=$QuotientField,:.] or - MEMQ(opOf t2,[$QuotientField, 'SimpleAlgebraicExtension]) => NIL + symbolMember?(opOf t2,[$QuotientField, 'SimpleAlgebraicExtension]) => NIL CGREATERP(PRIN2CVEC opOf t1,PRIN2CVEC opOf t2) |