1 files changed, 0 insertions, 7 deletions

diff --git a/aac.mlpack b/aac.mlpack
deleted file mode 100644
index 80cb22c..0000000
--- a/aac.mlpack
+++ /dev/null
@@ -1,7 +0,0 @@
-Coq
-Helper
-Search_monad
-Matcher
-Theory
-Print
-Aac_rewrite