From e5a55e16cfd7245f8854bbfa92ea0b554fc614d8 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 11 Oct 2019 11:19:58 -0700
Subject: [PATCH] chore: rename files

---
 library/Init/Lean/Compiler/IR/Boxing.lean                     | 2 +-
 library/Init/Lean/Compiler/IR/Default.lean                    | 4 ++--
 .../IR/{UnreachBranches.lean => ElimDeadBranches.lean}        | 0
 .../Lean/Compiler/IR/{ElimDead.lean => ElimDeadVars.lean}     | 0
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename library/Init/Lean/Compiler/IR/{UnreachBranches.lean => ElimDeadBranches.lean} (100%)
 rename library/Init/Lean/Compiler/IR/{ElimDead.lean => ElimDeadVars.lean} (100%)

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