diff --git a/cur-test/cur/tests/redex-core.rkt b/cur-test/cur/tests/redex-core.rkt
index cb53f66..a8d1941 100644
--- a/cur-test/cur/tests/redex-core.rkt
+++ b/cur-test/cur/tests/redex-core.rkt
@@ -18,6 +18,8 @@
 
 (default-equiv (curry alpha-equivalent? ttL))
 
+(check-redundancy #t)
+
 ;; Syntax tests
 ;; ------------------------------------------------------------------------