diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
commit | e5f701265114472fd307faff46539a5c619faf2a (patch) | |
tree | 6a2615b95dce683802fed0c3d7c2deef410b6040 /src/interp/clammed.boot | |
parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz |
cleanups
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 18632214..e19e03ba 100644 --- a/src/interp/clammed.boot +++ b/src/interp/clammed.boot @@ -123,7 +123,7 @@ isValidType form == -- Arguments to constructors are general expressions. Below -- domain constructors are not considered valid arguments (yet). x' := opOf x - not atom x' or not IDENTP x' => true -- surely not constructors + cons? x' or not IDENTP x' => true -- surely not constructors getConstructorKindFromDB x' ~= "domain" selectMms1(op,tar,args1,args2,$Coerce) == |