diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
index 2ff8a5fe38..cf968ee3b0 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/7.diff
@@ -7,3 +7,7 @@
 <      (v E)))
 ---
 >      (E M)))
+294a294,296
+> (define small-counter-example
+>   (term ((+ 1) ((+ 2) 3))))
+> (test-equal (check small-counter-example) #f)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
index 6c9cd14cdc..842f2e0b90 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-7.rkt
@@ -291,3 +291,6 @@
         (generate-term poly-stlc M #:i-th index)
         (set! index (add1 index))))))
 
+(define small-counter-example
+  (term ((+ 1) ((+ 2) 3))))
+(test-equal (check small-counter-example) #f)