1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index d995d1d..adfca2c 100644
--- a/Makefile
+++ b/Makefile
@@ -64,7 +64,7 @@ BACKEND=\
   Parallelmove.v Reload.v Reloadproof.v Reloadtyping.v \
   Mach.v Machtyping.v \
   Bounds.v Stacklayout.v Stacking.v Stackingproof.v Stackingtyping.v \
-  Machconcr.v \
+  Machsem.v \
   Asm.v Asmgen.v Asmgenretaddr.v Asmgenproof1.v Asmgenproof.v
 
 # C front-end modules (in cfrontend/)