diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-07-21 01:03:01 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-07-21 01:03:01 +0200 |
| commit | ade659e617922171ad1b678a51765ba2046c27d8 (patch) | |
| tree | f6dd312d5b3290fe019dd7c1dc296b3147664cc8 /libs/ezsat/ezminisat.cc | |
| parent | 92c9403249ba59e5f57b2adb8b8b0141c2c63f26 (diff) | |
Fixed ezSAT stand-alone build
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc index caee73f8..6a6c075f 100644 --- a/libs/ezsat/ezminisat.cc +++ b/libs/ezsat/ezminisat.cc @@ -28,13 +28,8 @@ #include <csignal> #include <cinttypes> -#ifdef _YOSYS_ -# include "libs/minisat/Solver.h" -# include "libs/minisat/SimpSolver.h" -#else -# include <minisat/core/Solver.h> -# include <minisat/simp/SimpSolver.h> -#endif +#include "../minisat/Solver.h" +#include "../minisat/SimpSolver.h" ezMiniSAT::ezMiniSAT() : minisatSolver(NULL) { |