diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-12 10:17:51 +0100 |
| commit | 94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch) | |
| tree | aae192666509ba533b9a9640679a55b002cd869d /kernel/satgen.h | |
| parent | 9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff) | |
| download | yosys-94c1307c262e4b14f4a91b1bbcf9099ee6202bab.tar.gz yosys-94c1307c262e4b14f4a91b1bbcf9099ee6202bab.tar.bz2 yosys-94c1307c262e4b14f4a91b1bbcf9099ee6202bab.zip | |
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'kernel/satgen.h')
| -rw-r--r-- | kernel/satgen.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index bf72a31cb..81d029295 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -24,13 +24,8 @@ #include "kernel/sigtools.h" #include "kernel/celltypes.h" -#ifdef YOSYS_ENABLE_MINISAT -# include "libs/ezsat/ezminisat.h" +#include "libs/ezsat/ezminisat.h" typedef ezMiniSAT ezDefaultSAT; -#else -# include "libs/ezsat/ezsat.h" -typedef ezSAT ezDefaultSAT; -#endif struct SatGen { |