diff --git a/collects/framework/private/standard-menus.ss b/collects/framework/private/standard-menus.ss index 65cf0ff439..fb6834fd21 100644 --- a/collects/framework/private/standard-menus.ss +++ b/collects/framework/private/standard-menus.ss @@ -784,7 +784,6 @@ edit-menu:preferences-callback)) (shortcut (begin - (printf "system-type ~s\n" (system-type)) (case (system-type) ((macosx) #\,) (else #\;)))) (help-string (edit-menu:preferences-help-string)) (demand-callback