Provide `main' too, since it's used by redex/tests/run-tests.

(Broken in 4c2940a6.)
2012-07-12 00:12:44 -04:00 · 2012-07-12 00:12:44 -04:00 · 5cbdf4dc76
commit 5cbdf4dc76
parent 68d550e2c3
1 changed files with 1 additions and 0 deletions
--- 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))