From 79e87e22c1ab4174b1c6a6633c46b910bd9a07ae Mon Sep 17 00:00:00 2001 From: wmayer Date: Sun, 23 Jul 2017 20:57:32 +0200 Subject: [PATCH] add missing header file --- src/Mod/Part/App/FeaturePartBoolean.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Mod/Part/App/FeaturePartBoolean.cpp b/src/Mod/Part/App/FeaturePartBoolean.cpp index 0d34375e5b..fae60330d7 100644 --- a/src/Mod/Part/App/FeaturePartBoolean.cpp +++ b/src/Mod/Part/App/FeaturePartBoolean.cpp @@ -25,6 +25,7 @@ #ifndef _PreComp_ # include # include +# include # include #endif