diff --git a/txexpr/main.rkt b/txexpr/main.rkt
index 1b58b3e..49f07ca 100644
--- a/txexpr/main.rkt
+++ b/txexpr/main.rkt
@@ -10,4 +10,5 @@
         (provide (all-from-out (submod modname safe))))) ...))
 
 (r+p "base.rkt"
+     "stx.rkt"
      "check.rkt")
\ No newline at end of file
diff --git a/txexpr/stx.rkt b/txexpr/stx.rkt
index 5d59ef8..3cb0f93 100644
--- a/txexpr/stx.rkt
+++ b/txexpr/stx.rkt
@@ -125,3 +125,5 @@
 
 ;; ---------------------------------------------------------
 
+(module+ safe
+  (provide (all-defined-out)))
\ No newline at end of file