diff --git a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt index f523b4f8b3..f3620310a4 100644 --- a/collects/tests/typed-racket/optimizer/tests/vector-length.rkt +++ b/collects/tests/typed-racket/optimizer/tests/vector-length.rkt @@ -2,9 +2,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 -'#(1 2 3) 3 -'#(4 5 6) 3 )