diff options
Diffstat (limited to 'gdbsupport/thread-pool.cc')
| -rw-r--r-- | gdbsupport/thread-pool.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdbsupport/thread-pool.cc b/gdbsupport/thread-pool.cc index 1c871ed..bbe043d 100644 --- a/gdbsupport/thread-pool.cc +++ b/gdbsupport/thread-pool.cc @@ -225,7 +225,7 @@ thread_pool::thread_function () while (true) { - optional<task_t> t; + std::optional<task_t> t; { /* We want to hold the lock while examining the task list, but |