From 1143275cecb87d933c73bdd4e8a6f158bf7bc1f0 Mon Sep 17 00:00:00 2001 From: wmayer Date: Tue, 25 Oct 2022 22:21:19 +0200 Subject: [PATCH] Gui: [skip ci] include header --- src/Gui/CommandDoc.cpp | 1 + src/Gui/propertyeditor/PropertyItem.cpp | 1 + 2 files changed, 2 insertions(+) diff --git a/src/Gui/CommandDoc.cpp b/src/Gui/CommandDoc.cpp index ff1d0a78fc..4839ad7650 100644 --- a/src/Gui/CommandDoc.cpp +++ b/src/Gui/CommandDoc.cpp @@ -27,6 +27,7 @@ # include # include # include +# include # include # include #endif diff --git a/src/Gui/propertyeditor/PropertyItem.cpp b/src/Gui/propertyeditor/PropertyItem.cpp index 8c1a841615..f6887f7d1f 100644 --- a/src/Gui/propertyeditor/PropertyItem.cpp +++ b/src/Gui/propertyeditor/PropertyItem.cpp @@ -29,6 +29,7 @@ # include # include # include +# include # include # include # include