1 files changed, 2 insertions, 0 deletions
diff --git a/Make b/Make
index 8caf805..ec45b23 100644
--- a/Make
+++ b/Make
@@ -1,5 +1,6 @@
 -I .
 -R . AAC_tactics
+
 coq.mli
 helper.mli
 search_monad.mli
@@ -15,6 +16,7 @@ theory.ml
 print.ml
 rewrite.ml4
 aac.mlpack
+
 AAC.v
 Instances.v
 Tutorial.v