diff options
Diffstat (limited to 'gdb/dwarf2/line-header.c')
-rw-r--r-- | gdb/dwarf2/line-header.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/dwarf2/line-header.c b/gdb/dwarf2/line-header.c index d072a91..ddaf7e4 100644 --- a/gdb/dwarf2/line-header.c +++ b/gdb/dwarf2/line-header.c @@ -160,8 +160,8 @@ read_formatted_entries (dwarf2_per_objfile *per_objfile, bfd *abfd, ULONGEST form = read_unsigned_leb128 (abfd, format, &bytes_read); format += bytes_read; - gdb::optional<const char *> string; - gdb::optional<unsigned int> uint; + std::optional<const char *> string; + std::optional<unsigned int> uint; switch (form) { |