fix scribble/doc reader's get-info

svn: r16574

original commit: 8f62218de5508aad57e87fa1237e49b54ce165a9
This commit is contained in:
Matthew Flatt 2009-11-06 18:18:43 +00:00
parent 2f3fab3fc9
commit 61b582b90b

View File

@ -4,8 +4,8 @@
get-info)
(define (get-info . args)
(lambda (key)
(lambda (key defval)
(case key
[(color-lexer)
(dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)]
[else #f])))
[else defval])))