From d951ea57c2f2313170efb303c0bdb902cdb70292 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 27 Feb 2009 00:14:02 +0000 Subject: [PATCH] unbreak these svn: r13862 --- collects/drscheme/private/auto-language.ss | 6 +++--- collects/drscheme/private/insert-large-letters.ss | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/drscheme/private/auto-language.ss b/collects/drscheme/private/auto-language.ss index f0bf4a4f4a..3417770099 100644 --- a/collects/drscheme/private/auto-language.ss +++ b/collects/drscheme/private/auto-language.ss @@ -1,7 +1,7 @@ -#lang typed-scheme +#lang typed-scheme/no-check -(require typed/framework/framework - typed/mred/mred +(require framework/framework ;typed/framework/framework + mred ;typed/mred/mred scheme/class) (provide pick-new-language looks-like-module?) diff --git a/collects/drscheme/private/insert-large-letters.ss b/collects/drscheme/private/insert-large-letters.ss index ea55ecfbfb..37493b4973 100644 --- a/collects/drscheme/private/insert-large-letters.ss +++ b/collects/drscheme/private/insert-large-letters.ss @@ -1,7 +1,7 @@ -#lang typed-scheme +#lang typed-scheme/no-check -(require typed/mred/mred - typed/framework/framework +(require #;typed/ mred/mred + #;typed/ framework/framework scheme/class string-constants/string-constant)