diff --git a/collects/drracket/private/language-configuration.rkt b/collects/drracket/private/language-configuration.rkt index 4fd7dc3e96..8468b46205 100644 --- a/collects/drracket/private/language-configuration.rkt +++ b/collects/drracket/private/language-configuration.rkt @@ -1,5 +1,5 @@ #lang racket/base - (require mred/mred ;; ensure that this module is always loaded since it is shared below for pretty big + (require (prefix-in : mred/mred) ;; ensure that this module is always loaded since it is shared below for pretty big racket/unit mrlib/hierlist racket/class