diff options
Diffstat (limited to 'gdb/mi/mi-cmds.c')
| -rw-r--r-- | gdb/mi/mi-cmds.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/mi/mi-cmds.c b/gdb/mi/mi-cmds.c index 5ea31fc..dbee2d0 100644 --- a/gdb/mi/mi-cmds.c +++ b/gdb/mi/mi-cmds.c @@ -183,7 +183,7 @@ mi_command::mi_command (const char *name, int *suppress_notification) /* See mi-cmds.h. */ -gdb::optional<scoped_restore_tmpl<int>> +std::optional<scoped_restore_tmpl<int>> mi_command::do_suppress_notification () const { if (m_suppress_notification != nullptr) |