3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00

Fix nasty bug in Verific bindings

This commit is contained in:
Clifford Wolf 2017-10-04 17:23:42 +02:00
parent a381188b92
commit b92ff2706e

View file

@ -912,7 +912,7 @@ struct VerificImporter
if (found_new_net) if (found_new_net)
{ {
RTLIL::IdString wire_name = module->uniquify(mode_names || netbus->IsUserDeclared() ? RTLIL::escape_id(net->Name()) : NEW_ID); RTLIL::IdString wire_name = module->uniquify(mode_names || netbus->IsUserDeclared() ? RTLIL::escape_id(netbus->Name()) : NEW_ID);
if (verbose) if (verbose)
log(" importing netbus %s as %s.\n", netbus->Name(), log_id(wire_name)); log(" importing netbus %s as %s.\n", netbus->Name(), log_id(wire_name));