diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
index faf5487866..1de8a12751 100644
--- a/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
+++ b/pkgs/redex-pkgs/redex-test/redex/tests/enum-test.rkt
@@ -101,3 +101,14 @@
 
 (try-it 100 NRep v)
 (try-it 100 NRep v2)
+
+;; Test production sort
+(define-language rec
+  (e (e e)
+     v)
+  (v (λ (x) e)
+     x)
+  (x variable-not-otherwise-mentioned))
+
+(try-it 100 rec e)
+(try-it 100 rec v)