diff options
Diffstat (limited to 'src/interp/g-util.boot')
| -rw-r--r-- | src/interp/g-util.boot | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index 2efeff70..321f8b9d 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -797,10 +797,6 @@ intern x == makeSymbol x x -isDomain a == - cons? a and vector? first a and - member(first a.0, $domainTypeTokens) - -- variables used by browser $htHash := MAKE_-HASH_-TABLE() |