From 025c5f3cf1643bc8842d7d3660372842dd98a202 Mon Sep 17 00:00:00 2001
From: Patrick Mahoney <paddy.mahoney@gmail.com>
Date: Tue, 14 Aug 2012 17:44:18 -0400
Subject: [PATCH] Remove unnecessary gui.rkt imports.

---
 collects/frtime/gui.rkt | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/collects/frtime/gui.rkt b/collects/frtime/gui.rkt
index 034d2d665b..c0a142248c 100644
--- a/collects/frtime/gui.rkt
+++ b/collects/frtime/gui.rkt
@@ -1,9 +1,7 @@
 (module gui frtime
   (require
    (all-except mzlib/etc rec)
-   frtime/gui/fred
-   (rename frtime/core/frp proc->signal proc->signal)
-   (all-except mred send-event))
+   frtime/gui/fred)
   
   (define frame (new ft-frame% [label "GUI"] [min-height 150] [min-width 200] [shown #t]))