Repair test for boolean generalization.

original commit: c7ac40f33b0c1d25c39c5cdd487cd34f43829267
2011-08-26 12:35:49 -04:00 · 2011-08-26 12:35:49 -04:00 · 03edafbc18
commit 03edafbc18
parent 417c8a9833
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)")