diff --git a/pkgs/datalog/lang/reader.rkt b/pkgs/datalog/lang/reader.rkt index 0d8ed430e2..1821176116 100644 --- a/pkgs/datalog/lang/reader.rkt +++ b/pkgs/datalog/lang/reader.rkt @@ -8,6 +8,8 @@ #:info (lambda (key defval default) ; XXX Should have different comment character key (case key + [(drracket:default-filters) '(["Datalog Sources" "*.dl"])] + [(drracket:default-extension) "dl"] [(drracket:submit-predicate) (dynamic-require 'datalog/tool/submit 'repl-submit?)] [(color-lexer)