From eb320ad75d690c9bc5cdedfd9a556a87dcf32c79 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 20 Jun 2008 15:47:22 -0400 Subject: [PATCH] Revert last change. original commit: ce58c4c6763f6ee31604f38660e3165f29096931 --- collects/tests/typed-scheme/succeed/batched-queue.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/batched-queue.scm b/collects/tests/typed-scheme/succeed/batched-queue.scm index 71e1db34..7c2ae9e9 100644 --- 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))))