diff options
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 |