diff options
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index a9f680b98..27fe36c65 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) { |