diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff
index ff0356704f..5a8a09eabf 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff
@@ -8,3 +8,8 @@
 >    (--> (in-hole E (hd (cons v_1)))
 238d237
 < 
+270a270,273
+> 
+> (define small-counter-example
+>   (term (hd ((cons 1) nil))))
+> (test-equal (check small-counter-example) #f)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
index cd1181cf6a..3d18923d8d 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-6.rkt
@@ -267,3 +267,7 @@
       (begin0
         (generate-term stlc M #:i-th index)
         (set! index (add1 index))))))
+
+(define small-counter-example
+  (term (hd ((cons 1) nil))))
+(test-equal (check small-counter-example) #f)