From c094c53de83707a5bf1b268640283f1dde235873 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 23 Jul 2014 20:32:28 +0200
Subject: Removed RTLIL::SigSpec::optimize()

---
 passes/sat/eval.cc | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'passes/sat/eval.cc')

diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc
index 9b8c35361..6949b76db 100644
--- a/passes/sat/eval.cc
+++ b/passes/sat/eval.cc
@@ -53,8 +53,6 @@ struct BruteForceEquivChecker
 			return;
 		}
 
-		inputs.optimize();
-
 		ConstEval ce1(mod1), ce2(mod2);
 		ce1.set(mod1_inputs, inputs.as_const());
 		ce2.set(mod2_inputs, inputs.as_const());
@@ -482,7 +480,6 @@ struct EvalPass : public Pass {
 				RTLIL::SigSpec signal, value, undef;
 				if (!RTLIL::SigSpec::parse_sel(signal, design, module, it))
 					log_cmd_error("Failed to parse show expression `%s'.\n", it.c_str());
-				signal.optimize();
 				value = signal;
 				if (set_undef) {
 					while (!ce.eval(value, undef)) {
-- 
cgit v1.2.3