1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7405277d..366d6d59 100644
--- a/Makefile
+++ b/Makefile
@@ -204,7 +204,7 @@ DRIVER=Compopts.v Compiler.v Complements.v
 
 # All source files
 
-FILES=$(VLIB) $(COMMON) $(BACKEND) $(SCHEDULING) $(MIDEND) $(CFRONTEND) $(DRIVER) $(FLOCQ) \
+FILES=$(VLIB) $(VLIB2) $(COMMON) $(BACKEND) $(SCHEDULING) $(MIDEND) $(CFRONTEND) $(DRIVER) $(FLOCQ) \
   $(MENHIRLIB) $(PARSER)
 
 # Generated source files