diff options
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index cec0b2bb..cdfc9958 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -159,7 +159,7 @@ SigListUnion(extra,original,principal,tbl) == [esig,epred,:.]:= e eimplem:=[] for x in SigListOpSubsume(e,original) repeat - --PRETTYPRINT(LIST("SigListOpSubsume",e,x)) + --PRETTYPRINT(["SigListOpSubsume",e,x]) not MachineLevelSubsume(first e,first x) => --systemError '"Source level subsumption not implemented" original:= [e,:original] |