diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
index f0b6deef..97d4a2d8 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-if.rkt
@@ -25,7 +25,7 @@
       ;; otherwise, this code is unreachable
       ;; and the resulting type should be the empty type
       [(check-unreachable-code?)
-       (tc-expr/check expr Univ)
+       (tc-expr expr)
        (ret (Un))]
       [else (ret (Un))]))
   (match (single-value tst)