diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 3cf5967cc..bea8f12b4 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -194,7 +194,7 @@ struct SimInstance Module *mod = module->design->module(cell->type); if (mod != nullptr) { - dirty_children.insert(new SimInstance(shared, scope + "." + RTLIL::unescape_id(module->name), mod, cell, this)); + dirty_children.insert(new SimInstance(shared, scope + "." + RTLIL::unescape_id(cell->name), mod, cell, this)); } for (auto &port : cell->connections()) {