From 80a2e9f8b5cbe14a288a11a594632ae1cec09fec Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 20 Apr 2015 09:38:15 -0500 Subject: [PATCH] use "scrbl" as the default extension only in "#lang scribble/*" languages, not in "#lang at-exp *" languages. --- pkgs/at-exp-lib/at-exp/lang/reader.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/pkgs/at-exp-lib/at-exp/lang/reader.rkt b/pkgs/at-exp-lib/at-exp/lang/reader.rkt index 14285738e7..7fbb71698e 100644 --- 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)]))))))