diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index a210df3e41..7789191ee3 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -1838,6 +1838,7 @@
          make-bindings bindings-table bindings?
          match? match-bindings
          make-bind bind? bind-name bind-exp
+         make-match
          
          test-equal
          test-->