diff options
Diffstat (limited to 'gdb/exceptions.c')
| -rw-r--r-- | gdb/exceptions.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/exceptions.c b/gdb/exceptions.c index 2ba5a9c..61fe74f 100644 --- a/gdb/exceptions.c +++ b/gdb/exceptions.c @@ -27,7 +27,7 @@ #include "serial.h" #include "gdbthread.h" #include "ui.h" -#include "gdbsupport/gdb_optional.h" +#include <optional> static void print_flush (void) @@ -38,7 +38,7 @@ print_flush (void) if (deprecated_error_begin_hook) deprecated_error_begin_hook (); - gdb::optional<target_terminal::scoped_restore_terminal_state> term_state; + std::optional<target_terminal::scoped_restore_terminal_state> term_state; if (target_supports_terminal_ours ()) { term_state.emplace (); |