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