diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
index 40fe78302d..9e37130f54 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/8.diff
@@ -6,3 +6,9 @@
 <    σ]
 ---
 >    int]
+293a294,298
+> 
+> (define small-counter-example
+>   (term ((λ (x (list int)) (+ x))
+>          [nil @ int])))
+> (test-equal (check small-counter-example) #f)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
index c18c5eee3a..a69a035628 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-8.rkt
@@ -292,3 +292,8 @@
         (generate-term poly-stlc M #:i-th index)
         (set! index (add1 index))))))
 
+(define small-counter-example
+  (term ((λ (x (list int)) (+ x))
+         [nil @ int])))
+(test-equal (check small-counter-example) #f)
+