From ffa5d528a252f14ade7a34b2326b25c3281a6a69 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 6 Mar 2009 23:37:05 +0000 Subject: [PATCH] try to fix this test svn: r13999 original commit: d1ac259bcc5fc8cf5c9b6a94910b0c42f585dbf6 --- collects/tests/typed-scheme/unit-tests/all-tests.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/unit-tests/all-tests.ss b/collects/tests/typed-scheme/unit-tests/all-tests.ss index c32dbfea..32f70592 100644 --- 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