From 8bb8ac5859f9474a298a0bd9ec0e12afd6fd9315 Mon Sep 17 00:00:00 2001
From: Jon Rafkind <rafkind@racket-lang.org>
Date: Tue, 22 Nov 2011 14:02:41 -0700
Subject: [PATCH] [honu] provide #%top and #%datum for standard honu

---
 collects/honu/core/main.rkt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/collects/honu/core/main.rkt b/collects/honu/core/main.rkt
index b62186782a..ed16d51ba9 100644
--- a/collects/honu/core/main.rkt
+++ b/collects/honu/core/main.rkt
@@ -72,6 +72,8 @@
                        true false
                        withSyntax
                        mergeSyntax
+                       #%top
+                       #%datum
                        ))))
 
 (require "private/honu-typed-scheme.rkt")
@@ -80,7 +82,5 @@
 (standard-honu 1)
 (standard-honu 0)
 
-(provide #%top
-         #%datum
-         (rename-out [#%dynamic-honu-module-begin #%module-begin]
+(provide (rename-out [#%dynamic-honu-module-begin #%module-begin]
                      [honu-top-interaction #%top-interaction]))