diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt index 6f5eb10789..96b530850a 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -198,7 +198,7 @@ ;; redraw (send definitions add-highlights #:use-cache? #t))] [value (memq f filters)])) - panel) ; return panel, so that the other mixing can hide it + panel) ; return panel, so that the other mixin can hide it (define/public (hide-optimization-coach-panel [close #t]) (when panel