From f4ef6e27493ef83de2313a2aa17c3a006a601235 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Torbj=C3=B6rn=20Rathsman?= <milasudril@gmail.com>
Date: Sat, 23 Apr 2022 09:59:36 +0200
Subject: [PATCH] Fix for #130

---
 core/sched/thread_pool.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/sched/thread_pool.hpp b/core/sched/thread_pool.hpp
index ed6d304..de8731a 100644
--- a/core/sched/thread_pool.hpp
+++ b/core/sched/thread_pool.hpp
@@ -19,6 +19,7 @@
 #include <mutex>
 #include <condition_variable>
 #include <exception>
+#include <optional>
 
 namespace Maike::Sched
 {