diff --git a/pkgs/errortrace-pkgs/errortrace-lib/errortrace/stacktrace.rkt b/pkgs/errortrace-pkgs/errortrace-lib/errortrace/stacktrace.rkt
index 34d7e13d0c..9de7294eaa 100644
--- a/pkgs/errortrace-pkgs/errortrace-lib/errortrace/stacktrace.rkt
+++ b/pkgs/errortrace-pkgs/errortrace-lib/errortrace/stacktrace.rkt
@@ -520,14 +520,6 @@
                         (rebuild disarmed-expr (list (cons #'tst w-tst)
                                                      (cons #'thn w-thn)
                                                      (cons #'els w-els))))))]
-         [(if tst thn)
-          (let ([w-tst (annotate (syntax tst) phase)]
-                [w-thn (annotate (syntax thn) phase)])
-            (with-mrk* expr
-                       (rearm
-                        expr
-                        (rebuild disarmed-expr (list (cons #'tst w-tst)
-                                                     (cons #'thn w-thn))))))]
          [(with-continuation-mark . body)
           (with-mrk* expr
                      (rearm