From 2faa761f533604d99df08a041aa244a45d23495c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 4 Sep 2011 13:25:14 -0400 Subject: [PATCH] Use better language for lang-info --- collects/typed/racket/base/no-check.rkt | 2 +- collects/typed/racket/no-check.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed/racket/base/no-check.rkt b/collects/typed/racket/base/no-check.rkt index a5be88a158..4508a415b6 100644 --- a/collects/typed/racket/base/no-check.rkt +++ b/collects/typed/racket/base/no-check.rkt @@ -1,4 +1,4 @@ -#lang racket/base +#lang typed-racket/minimal (require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check)) (provide (all-from-out typed/racket/base typed-scheme/no-check)) diff --git a/collects/typed/racket/no-check.rkt b/collects/typed/racket/no-check.rkt index f4ee4b0923..5dec3f1a25 100644 --- a/collects/typed/racket/no-check.rkt +++ b/collects/typed/racket/no-check.rkt @@ -1,4 +1,4 @@ -#lang racket/base +#lang typed-racket/minimal (require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check)) (provide (all-from-out typed/racket typed-scheme/no-check))