From 8ad0395e213e4c9d909ac8472d95e73b17707ae9 Mon Sep 17 00:00:00 2001
From: marioalexis <mario.passaglia@gmail.com>
Date: Fri, 13 Dec 2024 15:34:46 -0300
Subject: [PATCH] Gui: Add missing header <optional>

---
 src/Gui/View3DInventor.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Gui/View3DInventor.h b/src/Gui/View3DInventor.h
index 882265183a..e02d49a54b 100644
--- a/src/Gui/View3DInventor.h
+++ b/src/Gui/View3DInventor.h
@@ -24,6 +24,7 @@
 #define GUI_VIEW3DINVENTOR_H
 
 #include <memory>
+#include <optional>
 #include <QImage>
 #include <QtOpenGL.h>