redex: export documented but missing predicate

2012-10-05 11:18:19 -04:00 · 2012-10-05 11:18:19 -04:00 · c26faaebfa
commit c26faaebfa
parent 16b15c89f7
1 changed files with 1 additions and 0 deletions
--- a/collects/redex/reduction-semantics.rkt
+++ b/collects/redex/reduction-semantics.rkt
@ -37,6 +37,7 @@
         in-domain?
         caching-enabled?
         make-coverage
+         coverage?
         check-redudancy)

 (provide (rename-out [test-match redex-match])