diff options
Diffstat (limited to 'gdbsupport/thread-pool.h')
-rw-r--r-- | gdbsupport/thread-pool.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdbsupport/thread-pool.h b/gdbsupport/thread-pool.h index cb8696e..d5e1dc7 100644 --- a/gdbsupport/thread-pool.h +++ b/gdbsupport/thread-pool.h @@ -30,7 +30,7 @@ #include <condition_variable> #include <future> #endif -#include "gdbsupport/gdb_optional.h" +#include <optional> namespace gdb { @@ -198,7 +198,7 @@ private: to represent a task. If the optional is empty, then this means that the receiving thread should terminate. If the optional is non-empty, then it is an actual task to evaluate. */ - std::queue<optional<task_t>> m_tasks; + std::queue<std::optional<task_t>> m_tasks; /* A condition variable and mutex that are used for communication between the main thread and the worker threads. */ |