Add SepCancel to 'lib' target

achlipala · Apr 19, 2016 · 68b01b1 · 68b01b1
1 parent e1844ab
commit 68b01b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,7 +13,7 @@ coq: Makefile.coq
 	$(MAKE) -f Makefile.coq
 
 lib: Makefile.coq
-	$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo
+	$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo SepCancel.vo
 
 Makefile.coq: Makefile _CoqProject *.v
 	coq_makefile -f _CoqProject -o Makefile.coq