diff options
Diffstat (limited to 'gdb/guile')
| -rw-r--r-- | gdb/guile/scm-ports.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/guile/scm-ports.c b/gdb/guile/scm-ports.c index a27ea8b..ceca60b 100644 --- a/gdb/guile/scm-ports.c +++ b/gdb/guile/scm-ports.c @@ -26,7 +26,7 @@ #include "ui.h" #include "target.h" #include "guile-internal.h" -#include "gdbsupport/gdb_optional.h" +#include <optional> #ifdef HAVE_POLL #if defined (HAVE_POLL_H) @@ -602,7 +602,7 @@ ioscm_with_output_to_port_worker (SCM port, SCM thunk, enum oport oport, ? &gdb_stderr : &gdb_stdout); { - gdb::optional<ui_out_redirect_pop> redirect_popper; + std::optional<ui_out_redirect_pop> redirect_popper; if (oport == GDB_STDERR) gdb_stderr = port_file.get (); else |