try to fix this test

svn: r13999 original commit: d1ac259bcc5fc8cf5c9b6a94910b0c42f585dbf6
2009-03-06 23:37:05 +00:00 · 2009-03-06 23:37:05 +00:00 · ffa5d528a2
commit ffa5d528a2
parent ad00361e3a
1 changed files with 1 additions and 1 deletions
--- a/collects/tests/typed-scheme/unit-tests/all-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/all-tests.ss
@ -4,7 +4,7 @@
 "test-utils.ss"
 "planet-requires.ss"
 ;"typecheck-tests.ss" ;; doesn't compile yet
- "subtype-tests.ss" ;; fail
+ "subtype-tests.ss" ;; pass
 "type-equal-tests.ss" ;; pass
 "remove-intersect-tests.ss" ;; pass
 "parse-type-tests.ss" ;; pass