From ce58c4c6763f6ee31604f38660e3165f29096931 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 20 Jun 2008 15:47:22 -0400 Subject: [PATCH] Revert last change. --- 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 71e1db3464..7c2ae9e964 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))))