Use ezSAT::non_incremental() in "share" pass

diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 90daefc0abadac1d95d079f9fbf93a23860847b8..8ef3396e08c4553ccb627f936a03abb53f277151 100644 (file)
--- 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;