diff --git a/collects/redex/reduction-semantics.rkt b/collects/redex/reduction-semantics.rkt
index 88bb7b0e9f..3bac159710 100644
--- 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])