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)]