diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-10-11 21:17:01 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-10-11 21:17:01 +0200 |
| commit | a97520785a8d37b0a0972f24c1e93aa365f29669 (patch) | |
| tree | 60686a924e0de2a6e2ad225fa473eb9879e4cd7a /libs | |
| parent | 02efafa7f1c38dc2f49d03b62deba5ab56c2f51e (diff) | |
| download | yosys-a97520785a8d37b0a0972f24c1e93aa365f29669.tar.gz yosys-a97520785a8d37b0a0972f24c1e93aa365f29669.tar.bz2 yosys-a97520785a8d37b0a0972f24c1e93aa365f29669.zip | |
Fixed minisat include
Diffstat (limited to 'libs')
| -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) { |