From 92c9403249ba59e5f57b2adb8b8b0141c2c63f26 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 21 Jul 2014 01:01:26 +0200
Subject: Updated minisat

---
 libs/minisat/Options.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'libs/minisat/Options.h')

diff --git a/libs/minisat/Options.h b/libs/minisat/Options.h
index 7d140a1ff..d602769cf 100644
--- a/libs/minisat/Options.h
+++ b/libs/minisat/Options.h
@@ -25,9 +25,9 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include <math.h>
 #include <string.h>
 
-#include "libs/minisat/IntTypes.h"
-#include "libs/minisat/Vec.h"
-#include "libs/minisat/ParseUtils.h"
+#include "IntTypes.h"
+#include "Vec.h"
+#include "ParseUtils.h"
 
 namespace Minisat {
 
-- 
cgit v1.2.3