diff options
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 83374c4b..6aa54bfb 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -209,7 +209,7 @@ static const char *create_prompt(RTLIL::Design *design, int recursion_counter) str += stringf("(%d) ", recursion_counter); str += "yosys"; if (!design->selected_active_module.empty()) - str += stringf(" [%s]", design->selected_active_module.c_str()); + str += stringf(" [%s]", RTLIL::id2cstr(design->selected_active_module)); if (!design->selection_stack.back().full_selection) { if (design->selected_active_module.empty()) str += "*"; |