diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 90daefc0a..8ef3396e0 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;