From 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 28 May 2013 15:44:53 -0400 Subject: [PATCH] Fix broken test, again. --- collects/tests/typed-racket/optimizer/tests/vector-length.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt index f3620310a4..5189bde83e 100644 --- a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt +++ b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: vector-length.rkt 14:0 (vector-length (vector 1 2 3)) -- known-length vector-length -TR opt: vector-length.rkt 15:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length +TR opt: vector-length.rkt 12:0 (vector-length (vector 1 2 3)) -- known-length vector-length +TR opt: vector-length.rkt 13:0 (vector-length (ann (vector 4 5 6) (Vectorof Integer))) -- known-length vector-length 3 3 )