From 2c3ac8db3f539459166c801e61c5efdacf9150c3 Mon Sep 17 00:00:00 2001
From: Mel <einebeere@gmail.com>
Date: Mon, 10 Jul 2023 21:26:57 +0200
Subject: Add necessary Linux headers

---
 src/World/World.hpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/World/World.hpp')

diff --git a/src/World/World.hpp b/src/World/World.hpp
index 71156f4..ef8b7af 100644
--- a/src/World/World.hpp
+++ b/src/World/World.hpp
@@ -2,6 +2,7 @@
 
 #include <unordered_map>
 #include <unordered_set>
+#include <optional>
 #include "Generation/Generator.hpp"
 #include "ChunkIndex.hpp"
 #include "../GFX/Binder.hpp"
-- 
cgit 1.4.1