From 68b01b1047378a5ddf13a37541b46ac0b2a50f49 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Tue, 19 Apr 2016 14:29:02 -0400
Subject: [PATCH] Add SepCancel to 'lib' target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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