diff --git a/collects/tests/typed-scheme/succeed/vec-tests.ss b/collects/tests/typed-scheme/succeed/vec-tests.ss
index 2c473365..6c5570b9 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))