Remove mzlib/etc require

2012-08-21 18:56:10 -04:00 · 2012-08-21 18:56:10 -04:00 · 5c935ba0b6
commit 5c935ba0b6
parent 67d75b4c09
1 changed files with 0 additions and 1 deletions
--- 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]))