diff --git a/library/Init/Lean/Compiler/IR/Boxing.lean b/library/Init/Lean/Compiler/IR/Boxing.lean
index b2bf8a8271..cde509269f 100644
--- a/library/Init/Lean/Compiler/IR/Boxing.lean
+++ b/library/Init/Lean/Compiler/IR/Boxing.lean
@@ -13,7 +13,7 @@ import Init.Lean.Compiler.ExternAttr
 import Init.Lean.Compiler.IR.Basic
 import Init.Lean.Compiler.IR.CompilerM
 import Init.Lean.Compiler.IR.FreeVars
-import Init.Lean.Compiler.IR.ElimDead
+import Init.Lean.Compiler.IR.ElimDeadVars
 
 namespace Lean
 namespace IR
diff --git a/library/Init/Lean/Compiler/IR/Default.lean b/library/Init/Lean/Compiler/IR/Default.lean
index 2af52a612a..bd31ca5a68 100644
--- a/library/Init/Lean/Compiler/IR/Default.lean
+++ b/library/Init/Lean/Compiler/IR/Default.lean
@@ -8,7 +8,7 @@ import Init.Lean.Compiler.IR.Basic
 import Init.Lean.Compiler.IR.Format
 import Init.Lean.Compiler.IR.CompilerM
 import Init.Lean.Compiler.IR.PushProj
-import Init.Lean.Compiler.IR.ElimDead
+import Init.Lean.Compiler.IR.ElimDeadVars
 import Init.Lean.Compiler.IR.SimpCase
 import Init.Lean.Compiler.IR.ResetReuse
 import Init.Lean.Compiler.IR.NormIds
@@ -18,7 +18,7 @@ import Init.Lean.Compiler.IR.Boxing
 import Init.Lean.Compiler.IR.RC
 import Init.Lean.Compiler.IR.ExpandResetReuse
 import Init.Lean.Compiler.IR.UnboxResult
-import Init.Lean.Compiler.IR.UnreachBranches
+import Init.Lean.Compiler.IR.ElimDeadBranches
 import Init.Lean.Compiler.IR.EmitC
 
 namespace Lean
diff --git a/library/Init/Lean/Compiler/IR/UnreachBranches.lean b/library/Init/Lean/Compiler/IR/ElimDeadBranches.lean
similarity index 100%
rename from library/Init/Lean/Compiler/IR/UnreachBranches.lean
rename to library/Init/Lean/Compiler/IR/ElimDeadBranches.lean
diff --git a/library/Init/Lean/Compiler/IR/ElimDead.lean b/library/Init/Lean/Compiler/IR/ElimDeadVars.lean
similarity index 100%
rename from library/Init/Lean/Compiler/IR/ElimDead.lean
rename to library/Init/Lean/Compiler/IR/ElimDeadVars.lean