From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 21 Jul 2014 00:08:38 +0000 (+0200)
Subject: Use ezSAT::non_incremental() in "share" pass
X-Git-Tag: yosys-0.4~509
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b49beab1f30d0a7567c2917a3387fa52c84350fd;p=yosys.git

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

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;