diff --git a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss index 9c3c7d34e7..719f108bf5 100644 --- a/collects/tests/typed-scheme/unit-tests/subtype-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/subtype-tests.ss @@ -2,7 +2,7 @@ (require "test-utils.ss" "planet-requires.ss") -(require (private subtype type-effect-convenience union) +(require (types subtype type-effect-convenience union) (rep type-rep) (env init-envs type-environments) (r:infer infer infer-dummy) diff --git a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss b/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss index 30462350d1..c6064d45a4 100644 --- a/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/type-equal-tests.ss @@ -2,7 +2,7 @@ (require "test-utils.ss" "planet-requires.ss" (for-syntax scheme/base)) (require (rep type-rep) - (private type-comparison type-effect-convenience union subtype) + (types comparison type-abbrev) (schemeunit)) (provide type-equal-tests)