From fc85198bb3ad0e600433bd04992b119f63b808d9 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 27 May 2008 18:34:42 +0000
Subject: [PATCH] fix 'gui-dynamic?' more

svn: r9983

original commit: 69f4097020e2c49d46672789c043d979dc02ec43
---
 collects/mred/private/dynamic.ss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/mred/private/dynamic.ss b/collects/mred/private/dynamic.ss
index 9e34b14d..0ef4b128 100644
--- a/collects/mred/private/dynamic.ss
+++ b/collects/mred/private/dynamic.ss
@@ -4,4 +4,8 @@
 ;; It is required by mred/mred so that it gets carried
 ;; along when mred/mred is attached to a new namespace.
 
+(provide kernel-initialized)
+
 (dynamic-require ''#%mred-kernel #f)
+
+(define kernel-initialized 'done)