From 5c935ba0b633355156b5c33859f6e8c9981247b9 Mon Sep 17 00:00:00 2001
From: Patrick Mahoney <paddy.mahoney@gmail.com>
Date: Tue, 21 Aug 2012 18:56:10 -0400
Subject: [PATCH] Remove mzlib/etc require

---
 collects/frtime/gui.rkt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/collects/frtime/gui.rkt b/collects/frtime/gui.rkt
index 017e2b5616..c6ce549bda 100644
--- a/collects/frtime/gui.rkt
+++ b/collects/frtime/gui.rkt
@@ -1,6 +1,5 @@
 (module gui frtime
   (require
-   (except-in mzlib/etc rec)
    frtime/gui/fred)
   
   (define frame (new ft-frame% [label "GUI"] [min-height 150] [min-width 200] [shown #t]))