1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 9adeb6db..fd0595d4 100644
--- a/Makefile
+++ b/Makefile
@@ -133,6 +133,7 @@ BACKEND=\
   Mach.v \
   Bounds.v Stacklayout.v Stacking.v Stackingproof.v \
   Asm.v Asmgen.v Asmgenproof.v Asmaux.v \
+	RTLpathSE_simplify.v \
   $(BACKENDLIB)
 
 SCHEDULING= \