Repair test for boolean generalization.

2011-08-26 12:35:49 -04:00 · 2011-08-26 12:35:49 -04:00 · c7ac40f33b
commit c7ac40f33b
parent 598d81671a
1 changed files with 1 additions and 1 deletions
--- a/collects/tests/typed-scheme/succeed/for.rkt
+++ b/collects/tests/typed-scheme/succeed/for.rkt
@ -21,7 +21,7 @@
                 ((i : Integer '(1 2 3))
                  (j : Char "abc")
                  #:when (odd? i)
-                  (k : True #(#t #t))
+                  (k : Boolean #(#t #t))
                  #:when k)
                 (display (list i j k)))))
       "(1 a #t)(1 a #t)(3 c #t)(3 c #t)")