diff --git a/collects/mred/kernel.ss b/collects/mred/kernel.ss index 05be2b2e..f2ad6d18 100644 --- a/collects/mred/kernel.ss +++ b/collects/mred/kernel.ss @@ -1401,6 +1401,5 @@ set-menu-tester location->window set-dialogs) - ) ;; end