From 37d94bb4f941d45deb2a57852d3d53f79aeec435 Mon Sep 17 00:00:00 2001 From: wmayer Date: Mon, 31 Oct 2022 11:32:06 +0100 Subject: [PATCH] Gui: include needed header --- src/Gui/PythonWrapper.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Gui/PythonWrapper.cpp b/src/Gui/PythonWrapper.cpp index 5478ca8d5b..807c8e1b57 100644 --- a/src/Gui/PythonWrapper.cpp +++ b/src/Gui/PythonWrapper.cpp @@ -25,6 +25,7 @@ # include # include # include +# include # include # include # include