diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 751977776d..3362f4370c 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -317,11 +317,11 @@ (call-with-continuation-prompt (λ () (with-stack-checkpoint (begin - (*do-module-specified-configuration modspec) + (*do-module-specified-configuration) (namespace-require modspec)))))) (current-namespace (module->namespace modspec)) (check-interactive-language)) - (define (*do-module-specified-configuration modspec) + (define (*do-module-specified-configuration) (let ([info (module->language-info modspec #t)]) (when info (let ([get-info