diff --git a/collects/drscheme/private/module-browser.ss b/collects/drscheme/private/module-browser.ss index 91f1bfcbaa..dde09ab38e 100644 --- a/collects/drscheme/private/module-browser.ss +++ b/collects/drscheme/private/module-browser.ss @@ -196,7 +196,7 @@ (render-snips) (end-edit-sequence)) - ;; add-connection : string string boolean number -> void + ;; add-connection : string string symbol number -> void ;; name-original and name-require and the identifiers for those paths and ;; original-filename? and require-filename? are booleans indicating if the names ;; are filenames.