diff --git a/collects/redex/examples/beginner.rkt b/collects/redex/examples/beginner.rkt
index 7d20bc29c8..38ea1f9ded 100644
--- a/collects/redex/examples/beginner.rkt
+++ b/collects/redex/examples/beginner.rkt
@@ -928,6 +928,7 @@ reflects the (broken) spec).
         true
         false)))))
 
+(provide main)
 (define (main)
   (run-tests)
   (run-big-test))