diff options
Diffstat (limited to 'src/interp/sys-globals.boot')
| -rw-r--r-- | src/interp/sys-globals.boot | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index f611e829..69b3ff63 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -115,9 +115,6 @@ $insideCategoryIfTrue := false $insideCoerceInteractiveHardIfTrue := false ++ -$insideCompTypeOf := false - -++ $insideConstructIfTrue := false ++ |