use "scrbl" as the default extension only in "#lang scribble/*" languages,

not in "#lang at-exp *" languages.
2015-04-20 09:38:15 -05:00 · 2015-04-20 09:38:15 -05:00 · 80a2e9f8b5
commit 80a2e9f8b5
parent f8d375f6c3
1 changed files with 0 additions and 1 deletions
--- a/pkgs/at-exp-lib/at-exp/lang/reader.rkt
+++ b/pkgs/at-exp-lib/at-exp/lang/reader.rkt
@ -44,7 +44,6 @@
            (try-dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)]
           [(definitions-text-surrogate)
            'scribble/private/indentation]
-           [(drracket:default-extension) "scrbl"]
           [(drracket:indentation)
            (dynamic-require 'scribble/private/indentation 'determine-spaces)]
           [else (fallback)]))))))