From 7cd18766a23f37d15588277493ec14e7c18abb07 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Thu, 24 Mar 2016 17:09:15 -0400
Subject: [PATCH] Check redundancy in core tests

---
 cur-test/cur/tests/redex-core.rkt | 2 ++
 1 file changed, 2 insertions(+)

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
 ;; ------------------------------------------------------------------------