diff --git a/Makefile b/Makefile
index 112610a..a0c622e 100644
--- 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