diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 011f15c5..1b957c45 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -792,3 +792,4 @@ displayHiddenConstructors() == squeezeAll: %List -> %List squeezeAll x == [SQUEEZE t for t in x] + |