From 2422a57cd07b68924e62a70963e2cb65295ff4e9 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 original commit: 2faa761f533604d99df08a041aa244a45d23495c --- 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 a5be88a1..4508a415 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 f4ee4b09..5dec3f1a 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))