From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Feb 2014 21:53:27 +0000 (+0100)
Subject: Fixed a bug in miter command
X-Git-Tag: yosys-0.2.0~121
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4f0bd6eeff3d7307c6290025d22b126779939a1;p=yosys.git

Fixed a bug in miter command
---

diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index 1f9a3c96a..a0bf222af 100644
--- a/passes/sat/miter.cc
+++ b/passes/sat/miter.cc
@@ -195,7 +195,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
 
 				RTLIL::Cell *eq_cell = new RTLIL::Cell;
 				eq_cell->name = NEW_ID;
-				eq_cell->type = "$eq";
+				eq_cell->type = "$eqx";
 				eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
 				eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
 				eq_cell->parameters["\\Y_WIDTH"] = 1;
@@ -211,7 +211,7 @@ static void create_miter_equiv(struct Pass *that, std::vector<std::string> args,
 			{
 				RTLIL::Cell *eq_cell = new RTLIL::Cell;
 				eq_cell->name = NEW_ID;
-				eq_cell->type = "$eq";
+				eq_cell->type = "$eqx";
 				eq_cell->parameters["\\A_WIDTH"] = w2_gold->width;
 				eq_cell->parameters["\\B_WIDTH"] = w2_gate->width;
 				eq_cell->parameters["\\Y_WIDTH"] = 1;