From eda3e706708bbe564b65e977857405373fac0ece Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Fri, 20 Jul 2012 11:24:07 -0400
Subject: [PATCH] Use local member names for Optimization Coach public methods.

---
 collects/typed-racket/optimizer/tool/tool.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/collects/typed-racket/optimizer/tool/tool.rkt b/collects/typed-racket/optimizer/tool/tool.rkt
index 8dde16ee46..6cab8eec38 100644
--- a/collects/typed-racket/optimizer/tool/tool.rkt
+++ b/collects/typed-racket/optimizer/tool/tool.rkt
@@ -35,6 +35,11 @@
                     [_ #f]))))
 
 (define-local-member-name get-optimization-coach-menu-item)
+(define-local-member-name highlighting-shown?)
+(define-local-member-name add-highlights)
+(define-local-member-name clear-highlights)
+(define-local-member-name show-optimization-coach-panel)
+(define-local-member-name hide-optimization-coach-panel)
 
 (define optimization-coach-drracket-button
   (list