From b61ecf9874e155599efca4c64d01b855235ee436 Mon Sep 17 00:00:00 2001 From: Patrick Mahoney Date: Tue, 14 Aug 2012 17:35:43 -0400 Subject: [PATCH] Remove mzlib/list require from gui.rkt --- collects/frtime/gui.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/frtime/gui.rkt b/collects/frtime/gui.rkt index 18e6dcf3b5..034d2d665b 100644 --- a/collects/frtime/gui.rkt +++ b/collects/frtime/gui.rkt @@ -1,7 +1,6 @@ (module gui frtime (require (all-except mzlib/etc rec) - mzlib/list frtime/gui/fred (rename frtime/core/frp proc->signal proc->signal) (all-except mred send-event))