From b2ce93ca945ca9ff988927264a191aaea5a7a7be Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 25 Jul 2012 15:00:00 -0400 Subject: [PATCH] Fix Optimization Coach menu entry point. --- 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 6d95636553..c3c1139f8a 100644 --- a/collects/typed-racket/optimizer/tool/tool.rkt +++ b/collects/typed-racket/optimizer/tool/tool.rkt @@ -238,7 +238,7 @@ (define tab (get-current-tab)) (if (send tab optimization-coach-visible?) (send (send tab get-defs) clear-highlights) - (optimization-coach-callback this)))])) + (optimization-coach-callback)))])) (set-show-menu-sort-key optimization-coach-menu-item 403)) (define optimization-coach-menu-item #f)