summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-12 10:17:51 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-12 10:17:51 +0100
commit94c1307c262e4b14f4a91b1bbcf9099ee6202bab (patch)
treeaae192666509ba533b9a9640679a55b002cd869d /kernel
parent9087ece97c20d76359fb23cfd7a0f13552c1f2fd (diff)
Added libs/minisat (copy of minisat git master)
Diffstat (limited to 'kernel')
-rw-r--r--kernel/satgen.h7
1 files changed, 1 insertions, 6 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index bf72a31c..81d02929 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
{