diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
commit | 32efd3b0691918cf1d662b095c653d5a0a17ff7b (patch) | |
tree | b340c1d23d752542fe88fd80ae6d559198c0b263 /src/interp/clammed.boot | |
parent | b0046ba3929c513a399fd1ebb84dee1712c55a02 (diff) | |
download | open-axiom-32efd3b0691918cf1d662b095c653d5a0a17ff7b.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/clammed.boot')
-rw-r--r-- | src/interp/clammed.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/clammed.boot b/src/interp/clammed.boot index eb3eda6d..4c04ddba 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -119,7 +119,7 @@ isValidType form == cl:= replaceSharps(cl,form) and/[isValid for x in argl for c in cl] where isValid() == categoryForm?(c) => - evalCategory(x,MSUBSTQ(x,'_$,c)) and isValidType x + evalCategory(x,substitute(x,'_$,c)) and isValidType x -- Arguments to constructors are general expressions. Below -- domain constructors are not considered valid arguments (yet). x' := opOf x |