diff --git a/collects/lang/htdp-reader.ss b/collects/lang/htdp-reader.ss index 0afea114d6..86f1e9f6d8 100644 --- a/collects/lang/htdp-reader.ss +++ b/collects/lang/htdp-reader.ss @@ -41,6 +41,8 @@ `(module ,modname ,spec ,@(map (λ (x) `(require ,x)) (lookup 'teachpacks table)) - ,@(parameterize ([read-case-sensitive (lookup 'read-case-sensitive table)]) + ,@(parameterize ([read-case-sensitive (lookup 'read-case-sensitive table)] + [read-decimal-as-inexact #f] + [read-accept-dot #f]) (get-all-exps source-name port))))))]) read-syntax)))