diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt index 5dfa39c10c..719712085f 100644 --- a/collects/lang/htdp-langs.rkt +++ b/collects/lang/htdp-langs.rkt @@ -439,8 +439,7 @@ (define/override (first-opened settings) (for ([tp (in-list (htdp-lang-settings-teachpacks settings))]) - (with-handlers ((exn:fail? void)) - (namespace-require/constant tp)))) + (namespace-require/constant tp))) (inherit get-module get-transformer-module get-init-code use-namespace-require/copy?)