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/termrw.boot | |
| parent | 9430f000bbcedcd6f0edbe1c4852cb2b51c50ccc (diff) | |
| download | open-axiom-faaf19e1912ba48e9fbd195d2b90c4e205c87538.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/termrw.boot')
| -rw-r--r-- | src/interp/termrw.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/termrw.boot b/src/interp/termrw.boot index d4f3f0a0..c10eda3a 100644 --- a/src/interp/termrw.boot +++ b/src/interp/termrw.boot @@ -72,7 +72,7 @@ termMatch(tp,t,SL,vars) == -- then the result is the augmented substitution SL or 'failed tp=t => SL atom tp => - MEMQ(tp,vars) => + symbolMember?(tp,vars) => p:= ASSOC(tp,SL) => ( rest p=t ) [[tp,:t],:SL] 'failed |