From b77a841dd8925414eadb904b408cb1571be585d5 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sun, 4 Sep 2011 22:08:56 -0400
Subject: [PATCH] Switch to `typed/racket/base', and remove unused definition.

---
 collects/drracket/private/auto-language.rkt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/collects/drracket/private/auto-language.rkt b/collects/drracket/private/auto-language.rkt
index 35088ef977..44ec5a5d5e 100644
--- a/collects/drracket/private/auto-language.rkt
+++ b/collects/drracket/private/auto-language.rkt
@@ -1,4 +1,4 @@
-#lang typed-scheme
+#lang typed/racket/base
 
 (require typed/framework/framework 
 	 typed/mred/mred
@@ -6,9 +6,6 @@
 
 (provide pick-new-language looks-like-module?)
 
-(: reader-tag String)
-(define reader-tag "#reader")
-
 (define-type-alias (Language:Language% Settings)
   (Class () () ([get-reader-module (-> Sexp)]
                 [get-metadata-lines (-> Number)]