Revert last change.
This commit is contained in:
parent
b2edd9d197
commit
ce58c4c676
|
@ -82,5 +82,5 @@
|
|||
|
||||
;; TESTS
|
||||
|
||||
(= 0 (size (empty)))
|
||||
(= 0 (size ((inst empty Number))))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user