Fix broken test, again.

original commit: 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5
This commit is contained in:
Vincent St-Amour 2013-05-28 15:44:53 -04:00
parent 4fb08dd826
commit d4c3107477

View File

@ -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
)