Remove no-longer-needed inst.
This commit is contained in:
parent
89cb3a4b09
commit
b2edd9d197
|
@ -82,5 +82,5 @@
|
|||
|
||||
;; TESTS
|
||||
|
||||
(= 0 (size ((inst empty Number))))
|
||||
(= 0 (size (empty)))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user