diff --git a/collects/typed-scheme/private/infer-ops.ss b/collects/typed-scheme/private/infer.ss
similarity index 100%
rename from collects/typed-scheme/private/infer-ops.ss
rename to collects/typed-scheme/private/infer.ss
diff --git a/collects/typed-scheme/private/tc-app-unit.ss b/collects/typed-scheme/private/tc-app-unit.ss
index d6af97670c..c5bafb1428 100644
--- a/collects/typed-scheme/private/tc-app-unit.ss
+++ b/collects/typed-scheme/private/tc-app-unit.ss
@@ -6,7 +6,7 @@
          "tc-utils.ss"
          "subtype.ss"
          "unify.ss"
-         "infer-ops.ss"
+         "infer.ss"
          "union.ss"
          "type-utils.ss"
          "type-effect-convenience.ss"
diff --git a/collects/typed-scheme/private/tc-if-unit.ss b/collects/typed-scheme/private/tc-if-unit.ss
index de8e8b6807..f59b19fe60 100644
--- a/collects/typed-scheme/private/tc-if-unit.ss
+++ b/collects/typed-scheme/private/tc-if-unit.ss
@@ -10,7 +10,7 @@
          "subtype.ss"
          (only-in "remove-intersect.ss" 
                   [remove *remove])
-         "infer-ops.ss"
+         "infer.ss"
          "union.ss"
          "type-utils.ss"
          "tc-utils.ss"