From 6d7b5f90641169d60113b618ad127c7568d13dce Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 14 Jun 2013 10:31:18 +0200 Subject: Fixed even more ConstEval bugs found using xsthammer --- passes/sat/sat.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'passes') diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index b192ac01..69b6006d 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -510,8 +510,7 @@ struct BruteForceEquivChecker log_cmd_error("Port %s in module 1 has no counterpart in module 2!\n", wire1->name.c_str()); RTLIL::Wire *wire2 = mod2->wires.at(wire1->name); - if (wire1->width != wire2->width || wire1->port_id != wire2->port_id || - wire1->port_input != wire2->port_input || wire1->port_output != wire2->port_output) + if (wire1->width != wire2->width || wire1->port_input != wire2->port_input || wire1->port_output != wire2->port_output) log_cmd_error("Port %s in module 1 does not match its counterpart in module 2!\n", wire1->name.c_str()); if (wire1->port_input) { -- cgit v1.2.3