From 5cbdf4dc76ffeb96299b2c431b64f832a9131d8d Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 12 Jul 2012 00:12:44 -0400
Subject: [PATCH] Provide `main' too, since it's used by redex/tests/run-tests.

(Broken in 4c2940a6.)
---
 collects/redex/examples/beginner.rkt | 1 +
 1 file changed, 1 insertion(+)

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))