From ce7c5f523fb40a7970eb9b7fcd0de05be77e5690 Mon Sep 17 00:00:00 2001
From: Christoph Pohl <christoph.pohl@kit.edu>
Date: Sat, 12 Feb 2022 09:20:27 +0100
Subject: [PATCH] Add missing header

---
 source/RobotAPI/libraries/ArmarXObjects/Scene.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/RobotAPI/libraries/ArmarXObjects/Scene.h b/source/RobotAPI/libraries/ArmarXObjects/Scene.h
index 635ff6289..3c2767c01 100644
--- a/source/RobotAPI/libraries/ArmarXObjects/Scene.h
+++ b/source/RobotAPI/libraries/ArmarXObjects/Scene.h
@@ -24,6 +24,7 @@
 #include <map>
 #include <string>
 #include <vector>
+#include <optional>
 
 #include <Eigen/Core>
 #include <Eigen/Geometry>
-- 
GitLab