From 7e71c8ecc5d0e2fe890e240f2f267c196034df3e Mon Sep 17 00:00:00 2001 From: wmayer Date: Sun, 7 Jun 2020 20:58:45 +0200 Subject: [PATCH] [skip ci] include missing boost header --- src/Mod/Part/Gui/TaskDimension.cpp | 1 + src/Mod/PartDesign/Gui/TaskHoleParameters.cpp | 1 + 2 files changed, 2 insertions(+) diff --git a/src/Mod/Part/Gui/TaskDimension.cpp b/src/Mod/Part/Gui/TaskDimension.cpp index b76b9f4939..33fb96f02d 100644 --- a/src/Mod/Part/Gui/TaskDimension.cpp +++ b/src/Mod/Part/Gui/TaskDimension.cpp @@ -27,6 +27,7 @@ # include # include # include +# include # include # include diff --git a/src/Mod/PartDesign/Gui/TaskHoleParameters.cpp b/src/Mod/PartDesign/Gui/TaskHoleParameters.cpp index b6345d0141..4a41cf28b6 100644 --- a/src/Mod/PartDesign/Gui/TaskHoleParameters.cpp +++ b/src/Mod/PartDesign/Gui/TaskHoleParameters.cpp @@ -25,6 +25,7 @@ #ifndef _PreComp_ # include +# include #endif #include "ui_TaskHoleParameters.h"