diff options
Diffstat (limited to 'gdb/inferior.c')
| -rw-r--r-- | gdb/inferior.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/inferior.c b/gdb/inferior.c index 927c5f1..fbe27c8 100644 --- a/gdb/inferior.c +++ b/gdb/inferior.c @@ -728,10 +728,10 @@ switch_to_inferior_no_thread (inferior *inf) /* See regcache.h. */ -gdb::optional<scoped_restore_current_thread> +std::optional<scoped_restore_current_thread> maybe_switch_inferior (inferior *inf) { - gdb::optional<scoped_restore_current_thread> maybe_restore_thread; + std::optional<scoped_restore_current_thread> maybe_restore_thread; if (inf != current_inferior ()) { maybe_restore_thread.emplace (); |