Revert last change.

original commit: ce58c4c6763f6ee31604f38660e3165f29096931
2008-06-20 15:47:22 -04:00 · 2008-06-20 15:47:22 -04:00 · eb320ad75d
commit eb320ad75d
parent 9810d79ec5
1 changed files with 1 additions and 1 deletions
--- a/collects/tests/typed-scheme/succeed/batched-queue.scm
+++ b/collects/tests/typed-scheme/succeed/batched-queue.scm
@ -82,5 +82,5 @@

 ;; TESTS

-(= 0 (size (empty)))
+(= 0 (size ((inst empty Number))))