Fixed a bug in miter command

diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index 1f9a3c96a31126399634c77fd17fa79dee40c359..a0bf222afee4c21503ffcae72ea2965fa6b36d32 100644 (file)
--- 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;