From b2edd9d19754b1297ce02eb04d591ccc7f29e46a 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. --- 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 7c2ae9e964..71e1db3464 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)))