diff options
Diffstat (limited to 'gdb/mi/mi-interp.h')
| -rw-r--r-- | gdb/mi/mi-interp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/mi/mi-interp.h b/gdb/mi/mi-interp.h index 3110c0a..25c2551 100644 --- a/gdb/mi/mi-interp.h +++ b/gdb/mi/mi-interp.h @@ -51,7 +51,7 @@ public: void on_command_error () override; void on_user_selected_context_changed (user_selected_what selection) override; void on_new_thread (thread_info *t) override; - void on_thread_exited (thread_info *t, gdb::optional<ULONGEST> exit_code, + void on_thread_exited (thread_info *t, std::optional<ULONGEST> exit_code, int silent) override; void on_inferior_added (inferior *inf) override; void on_inferior_appeared (inferior *inf) override; |