1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 8b2fb534..1289b364 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ else
 ARCHDIRS?=$(ARCH)_$(BITSIZE) $(ARCH)
 endif
 
-BACKENDLIB?=Asmgenproof0.v
+BACKENDLIB?=Asmgenproof0.v Asmgenproof1.v
 
 DIRS := lib lib/Impure common $(ARCHDIRS) scheduling backend cfrontend driver \
 	exportclight cparser
@@ -135,10 +135,6 @@ BACKEND=\
   Asm.v Asmgen.v Asmgenproof.v Asmaux.v \
   $(BACKENDLIB)
 
-ifneq ($(ARCH),kvx)
-  BACKEND += Asmgenproof1.v 
-endif
-
 SCHEDULING= \
   RTLpathLivegenproof.v    RTLpathSE_simu_specs.v \
   RTLpathLivegen.v         RTLpathSE_impl.v \