diff --git a/collects/drscheme/tool-lib.ss b/collects/drscheme/tool-lib.ss index e5d6c65979..bcbc31d605 100644 --- a/collects/drscheme/tool-lib.ss +++ b/collects/drscheme/tool-lib.ss @@ -28,8 +28,8 @@ all of the names in the tools library, for use defining keybindings (require/doc (for-label errortrace/errortrace-key)) -(shutdown-splash) (define-values/invoke-unit/infer drscheme@) +(shutdown-splash) (close-splash) (provide-signature-elements drscheme:tool-cm^) ;; provide all of the classes & interfaces