diff options
Diffstat (limited to 'gdb/inf-child.h')
| -rw-r--r-- | gdb/inf-child.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/inf-child.h b/gdb/inf-child.h index 017e8e3..4aeb389 100644 --- a/gdb/inf-child.h +++ b/gdb/inf-child.h @@ -85,7 +85,7 @@ public: int fileio_unlink (struct inferior *inf, const char *filename, fileio_error *target_errno) override; - gdb::optional<std::string> fileio_readlink (struct inferior *inf, + std::optional<std::string> fileio_readlink (struct inferior *inf, const char *filename, fileio_error *target_errno) override; bool use_agent (bool use) override; |