From 9810d79ec55c40ff2e1553606c9bbb1042587e64 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 20 Jun 2008 15:27:59 -0400 Subject: [PATCH] Remove no-longer-needed inst. original commit: b2edd9d19754b1297ce02eb04d591ccc7f29e46a --- 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 7c2ae9e9..71e1db34 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 ((inst empty Number)))) +(= 0 (size (empty)))