diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
index 8a929e1019..c66b5942a9 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt
@@ -951,8 +951,3 @@
       (set! index (add1 index))
       (generate-term abort-lang e #:i-th index))))
 
-(define fixed
-  (term
-   (;; 1, 2 & 3 [designed for 1]
-    (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
-    )))
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
index bced7e6711..34fdb98f11 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt
@@ -949,8 +949,3 @@
       (set! index (add1 index))
       (generate-term abort-lang e #:i-th index))))
 
-(define fixed
-  (term
-   (;; 1, 2 & 3 [designed for 1]
-    (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
-    )))
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 81eec8f63b..8000973051 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
@@ -949,8 +949,3 @@
       (set! index (add1 index))
       (generate-term abort-lang e #:i-th index))))
 
-(define fixed
-  (term
-   (;; 1, 2 & 3 [designed for 1]
-    (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
-    )))
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt
index c795387266..da6a998dec 100644
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt
@@ -946,8 +946,3 @@
       (set! index (add1 index))
       (generate-term abort-lang e #:i-th index))))
 
-(define fixed
-  (term
-   (;; 1, 2 & 3 [designed for 1]
-    (ccm (MG (flat (λ (x : Num) #t)) key:test "k" "l" "j") Num)
-    )))