1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c126bfcb..7adb45e8 100644
--- a/Makefile
+++ b/Makefile
@@ -125,7 +125,7 @@ BACKEND=\
   Asm.v Asmgen.v Asmgenproof0.v Asmgenproof.v Asmaux.v \
   $(BACKENDLIB)
 
-ifneq ($(ARCH), "kvx")
+ifneq ($(ARCH),kvx)
   BACKEND += Asmgenproof1.v 
 endif