From a28cf4098ce43a95b68a39984585b1265b57ca1d Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sun, 9 Nov 2014 18:43:33 +0100
Subject: [PATCH] Removed useless dir in Makefile

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

diff --git a/Makefile b/Makefile
index 0b981b9f..62a73170 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 LOG=build.log
 COMP=ocamlbuild -log $(LOG) -use-ocamlfind -classic-display
 FLAGS=
-DIRS=-Is sat,smt,common,util
+DIRS=-Is sat,smt,util
 DOC=msat.docdir/index.html
 TEST=sat_solve.native