diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index f9e41788..9343bb32 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -799,10 +799,6 @@ displayHiddenConstructors() == centerAndHighlight c --% -squeezeAll: %List %Code -> %List %Code -squeezeAll x == - [SQUEEZE t for t in x] - makeInitialDB [form,kind,abbrev,srcfile] == db := makeDB(form.op,kind,abbrev) dbConstructorForm(db) := form |