diff options
Diffstat (limited to 'kernel/show.cc')
| -rw-r--r-- | kernel/show.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/show.cc b/kernel/show.cc index eef4c44f8..b587a8568 100644 --- a/kernel/show.cc +++ b/kernel/show.cc @@ -289,9 +289,9 @@ struct ShowWorker if (!design->selected_module(module->name)) continue; if (design->selected_whole_module(module->name)) - log("Dumping module %s to page %d.\n", module->name.c_str(), ++page_counter); + log("Dumping module %s to page %d.\n", id2cstr(module->name), ++page_counter); else - log("Dumping selected parts of module %s to page %d.\n", module->name.c_str(), ++page_counter); + log("Dumping selected parts of module %s to page %d.\n", id2cstr(module->name), ++page_counter); handle_module(); } } |