1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 73b3a446..6560a64b 100644
--- a/Makefile
+++ b/Makefile
@@ -95,6 +95,7 @@ BACKEND=\
   CSE2deps.v CSE2depsproof.v \
   CSE2.v CSE2proof.v \
   CSE3analysis.v CSE3analysisproof.v CSE3.v CSE3proof.v \
+  KillUselessMoves.v KillUselessMovesproof.v \
   LICM.v LICMproof.v \
   NeedDomain.v NeedOp.v Deadcode.v Deadcodeproof.v \
   Unusedglob.v Unusedglobproof.v \