summaryrefslogtreecommitdiff
path: root/passes/sat/share.cc
diff options
context:
space:
mode:
Diffstat (limited to 'passes/sat/share.cc')
-rw-r--r--passes/sat/share.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 90daefc0..8ef3396e 100644
--- a/passes/sat/share.cc
+++ b/passes/sat/share.cc
@@ -601,6 +601,8 @@ struct ShareWorker
optimize_activation_patterns(filtered_other_cell_activation_patterns);
ezDefaultSAT ez;
+ ez.non_incremental();
+
SatGen satgen(&ez, &modwalker.sigmap);
std::set<RTLIL::Cell*> sat_cells;