From e48aabc205cd2193cf4b2657e53e6bae5794e10a Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 6 Aug 2014 21:22:52 -0700
Subject: [PATCH] main.rkt exports required from sugar.rkt

---
 sugar.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sugar.rkt b/sugar.rkt
index c952667..2383c0a 100644
--- a/sugar.rkt
+++ b/sugar.rkt
@@ -15,7 +15,9 @@
 		    quit))
 (require "support/dsl-untyped.rkt")
 
-(provide transition
+(provide (all-from-out "main.rkt")
+
+	 transition
 	 delete-endpoint
 	 send-message
 	 send-feedback