From 4c889bc0bce20bb4962a91eafa569c83df67b6d0 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 20 Jul 2012 11:32:48 -0400 Subject: [PATCH] Typo. (cherry picked from commit 95e117b7f5ecb6c193d882614331e7e0afadeaa0) --- collects/typed-racket/optimizer/tool/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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