diff --git a/collects/planet/lang/reader.ss b/collects/planet/lang/reader.ss index ad73079c83..ade1f83ed8 100644 --- a/collects/planet/lang/reader.ss +++ b/collects/planet/lang/reader.ss @@ -29,7 +29,9 @@ `(planet ,(string->symbol (string-append str lang-mod))) #f))]) (if parsed-spec - (dynamic-require parsed-spec export-sym (mk-fail-thunk spec)) + (begin + ((current-reader-guard) parsed-spec) + (dynamic-require parsed-spec export-sym (mk-fail-thunk spec))) (bad (cadr spec) #f)))))) (define (get-info in mod line col pos)