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