From 0d926083670c7d8fca2ae59927e7c20bd485a538 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 23 Aug 2012 21:42:07 -0500
Subject: [PATCH] rename contract-gui.rkt to blueboxes-gui.rkt

---
 .../private/syncheck/{contract-gui.rkt => blueboxes-gui.rkt}    | 0
 collects/drracket/private/syncheck/gui.rkt                      | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename collects/drracket/private/syncheck/{contract-gui.rkt => blueboxes-gui.rkt} (100%)

diff --git a/collects/drracket/private/syncheck/contract-gui.rkt b/collects/drracket/private/syncheck/blueboxes-gui.rkt
similarity index 100%
rename from collects/drracket/private/syncheck/contract-gui.rkt
rename to collects/drracket/private/syncheck/blueboxes-gui.rkt
diff --git a/collects/drracket/private/syncheck/gui.rkt b/collects/drracket/private/syncheck/gui.rkt
index f668cab32a..2c26f60975 100644
--- a/collects/drracket/private/syncheck/gui.rkt
+++ b/collects/drracket/private/syncheck/gui.rkt
@@ -48,7 +48,7 @@ If the namespace does not, they are colored the unbound color.
          "traversals.rkt"
          "annotate.rkt"
          "../tooltip.rkt"
-         "contract-gui.rkt")
+         "blueboxes-gui.rkt")
 (provide tool@)
 
 (define orig-output-port (current-output-port))