From dc1012b1e2cb95051d3812c11afd47c187365e95 Mon Sep 17 00:00:00 2001
From: Andre Meixner <andre.meixner@kit.edu>
Date: Sat, 11 Mar 2023 13:35:14 +0100
Subject: [PATCH] Fixed include optional for GeometricPlanning on Ubuntu 22

---
 GeometricPlanning/util.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/GeometricPlanning/util.h b/GeometricPlanning/util.h
index 2bc0e7357..0e2b57361 100644
--- a/GeometricPlanning/util.h
+++ b/GeometricPlanning/util.h
@@ -23,6 +23,7 @@
 
 
 #include <map>
+#include <optional>
 
 #include <VirtualRobot/VirtualRobot.h>
 
-- 
GitLab