diff --git a/collects/drscheme/tool-lib.ss b/collects/drscheme/tool-lib.ss index e933386227..5d9af6745a 100644 --- a/collects/drscheme/tool-lib.ss +++ b/collects/drscheme/tool-lib.ss @@ -24,7 +24,7 @@ all of the names in the tools library, for use defining keybindings (require (for-syntax scheme/base)) -(require/doc drscheme/private/ts drscheme/private/oc scheme/base scribble/manual) +(require/doc drscheme/private/ts scheme/base scribble/manual) (shutdown-splash) (define-values/invoke-unit/infer drscheme@) @@ -1453,4 +1453,4 @@ all of the names in the tools library, for use defining keybindings (drscheme:language:simple-settings? . -> . vector?) (simple-settings) - @{Constructs a vector whose elements are the fields of @scheme[simple-settings].})) \ No newline at end of file + @{Constructs a vector whose elements are the fields of @scheme[simple-settings].}))