diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff
index cd76a4a5b0..42f6e75e9a 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff
@@ -11,3 +11,12 @@
 939a941,942
 > 
 > 
+949a953,960
+> (define small-counter-example
+>   (term ((λ (tg : (Prompt Num Bool))
+>            (% (call/comp (λ (x : Bool) (if x #f #t))
+>                          tg)
+>               tg
+>               (λ (x : Num) #t)))
+>          (make-prompt-tag Num Bool))))
+> (test-equal (check small-counter-example) #f)
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
index dbd4c8cf09..f9efb4f10f 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt
@@ -950,3 +950,11 @@
       (set! index (add1 index))
       (generate-term abort-lang e #:i-th index))))
 
+(define small-counter-example
+  (term ((λ (tg : (Prompt Num Bool))
+           (% (call/comp (λ (x : Bool) (if x #f #t))
+                         tg)
+              tg
+              (λ (x : Num) #t)))
+         (make-prompt-tag Num Bool))))
+(test-equal (check small-counter-example) #f)