From 1ecfcf3e5ea60130f2ebf60a2527855cdfd5db6d Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
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 <limits>
 # include <unordered_map>
 # include <list>
+# include <QApplication>
 # include <QDir>
 # include <QIcon>
 # include <QWidget>