diff --git a/collects/typed-scheme/typecheck/tc-new-if.ss b/collects/typed-scheme/typecheck/tc-if.ss
similarity index 100%
rename from collects/typed-scheme/typecheck/tc-new-if.ss
rename to collects/typed-scheme/typecheck/tc-if.ss
diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.ss
index 3a1e2b31..4c186cd5 100644
--- a/collects/typed-scheme/typecheck/typechecker.ss
+++ b/collects/typed-scheme/typecheck/typechecker.ss
@@ -7,11 +7,11 @@
                   provide-signature-elements
                   define-values/invoke-unit/infer link)
          "signatures.ss" "tc-toplevel.ss"
-         "tc-new-if.ss" "tc-lambda-unit.ss" "tc-app.ss"
+         "tc-if.ss" "tc-lambda-unit.ss" "tc-app.ss"
          "tc-let-unit.ss" "tc-dots-unit.ss"
          "tc-expr-unit.ss" "check-subforms-unit.ss")
 
 (provide-signature-elements typechecker^ tc-expr^)
 
 (define-values/invoke-unit/infer
-  (link tc-toplevel@ tc-new-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@))
+  (link tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@))