diff --git a/collects/redex/examples/delim-cont/meta.rkt b/collects/redex/examples/delim-cont/meta.rkt
index 8184bf66ec..a0da71b7e4 100644
--- a/collects/redex/examples/delim-cont/meta.rkt
+++ b/collects/redex/examples/delim-cont/meta.rkt
@@ -72,6 +72,7 @@
   [(get-marks-core (wcm (name w_1 ((v_4 v_5) ... (v_1 v_3) (v_6 v_7) ...)) E_1) v_1 e_2) (get-marks E_1 v_1 (cons v_3 e_2))]
   [(get-marks-core (wcm w_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2) (side-condition (term (notInDom (v_1 w_1))))]
   [(get-marks-core (v ... E_1 e ...) v_1 e_2) (get-marks E_1 v_1 e_2)]
+  [(get-marks-core (if E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
   [(get-marks-core (begin E_1 e) v_1 e_2) (get-marks E_1 v_1 e_2)]
   [(get-marks-core (% v_2 E_1 v_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
   [(get-marks-core (% v_2 e_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2)]
diff --git a/collects/redex/examples/delim-cont/test.rkt b/collects/redex/examples/delim-cont/test.rkt
index aebebb9e8b..6b928664fe 100644
--- a/collects/redex/examples/delim-cont/test.rkt
+++ b/collects/redex/examples/delim-cont/test.rkt
@@ -362,6 +362,15 @@
                        4
                        (abort 0 (current-marks 1 0))))))
                 (λ (x) x)))
+        '(<> () [] (list 2)))
+  (test "if-test position in continuation-marks context"
+        '(<> ()
+             []
+             (% 0
+                (call/cm 
+                 1 2 
+                 (λ () (if (abort 0 (current-marks 1 0)) 3 4)))
+                (λ (x) x)))
         '(<> () [] (list 2))))
 
 ;; R6RS dynamic-wind ----------------------------------------