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 d31d36b2d..00a61ec0f 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -212,7 +212,7 @@ static char **readline_completion(const char *text, int start, int) return NULL; } -static const char *create_prompt(RTLIL::Design *design, int recursion_counter) +const char *create_prompt(RTLIL::Design *design, int recursion_counter) { static char buffer[100]; std::string str = "\n"; |