From 739729516e5b49fa6059a03e7f2f6389ce60c765 Mon Sep 17 00:00:00 2001
From: Tobias Jakobi <tjakobi@math.uni-bielefeld.de>
Date: Mon, 5 Feb 2024 20:38:53 +0100
Subject: [PATCH] Core: Add missing standard library includes

---
 src/core/host.h     | 1 +
 src/core/settings.h | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/core/host.h b/src/core/host.h
index 177a81bdd..3cebf13e2 100644
--- a/src/core/host.h
+++ b/src/core/host.h
@@ -13,6 +13,7 @@
 #include <memory>
 #include <mutex>
 #include <optional>
+#include <span>
 #include <string>
 #include <string_view>
 #include <vector>
diff --git a/src/core/settings.h b/src/core/settings.h
index 726b188d8..ce3e822f4 100644
--- a/src/core/settings.h
+++ b/src/core/settings.h
@@ -13,6 +13,7 @@
 
 #include <array>
 #include <optional>
+#include <span>
 #include <string>
 #include <string_view>
 #include <vector>