summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-10-11 21:17:01 +0200
committerClifford Wolf <clifford@clifford.at>2013-10-11 21:17:01 +0200
commita97520785a8d37b0a0972f24c1e93aa365f29669 (patch)
tree60686a924e0de2a6e2ad225fa473eb9879e4cd7a
parent02efafa7f1c38dc2f49d03b62deba5ab56c2f51e (diff)
Fixed minisat include
-rw-r--r--libs/ezsat/ezminisat.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index a9f680b9..27fe36c6 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -26,7 +26,7 @@
#include <signal.h>
#include <cinttypes>
-#include "minisat/core/Solver.h"
+#include <minisat/core/Solver.h>
ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{