From ab81b1d64feb13532d77dccf1b21bfd820793a19 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 29 Apr 2008 21:42:16 +0000 Subject: [PATCH] Ignore. Remove supurious annotation. svn: r9537 --- collects/tests/typed-scheme/succeed/vec-tests.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/succeed/vec-tests.ss b/collects/tests/typed-scheme/succeed/vec-tests.ss index 2c473365b9..6c5570b95a 100644 --- a/collects/tests/typed-scheme/succeed/vec-tests.ss +++ b/collects/tests/typed-scheme/succeed/vec-tests.ss @@ -1,4 +1,4 @@ #lang typed-scheme -(define: x : (Vectorof Number) (build-vector 5 (lambda: ([x : Number]) #{0 :: Number}))) +(define: x : (Vectorof Number) (build-vector 5 (lambda: ([x : Number]) 0))) (define: y : Number (vector-ref x 1))