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 #include -#include "minisat/core/Solver.h" +#include ezMiniSAT::ezMiniSAT() : minisatSolver(NULL) {