diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index f9ab8f2d71..b9bb702df0 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -162,6 +162,7 @@ (match-define `(,start ,end ,popup-fun) h) (or new-item (and (<= start pos end) + (new separator-menu-item% [parent menu]) (new menu-item% [label "Show Optimization Info"] [parent menu]