From 6f230bfa585cdaafafeeeb66f4b19365f31ce97f Mon Sep 17 00:00:00 2001 From: wmayer Date: Sat, 22 Apr 2017 15:23:21 +0200 Subject: [PATCH] fix build failure --- src/Gui/Widgets.cpp | 1 + src/Gui/Widgets.h | 1 + 2 files changed, 2 insertions(+) diff --git a/src/Gui/Widgets.cpp b/src/Gui/Widgets.cpp index f5785c58bd..f8eb90ca6e 100644 --- a/src/Gui/Widgets.cpp +++ b/src/Gui/Widgets.cpp @@ -23,6 +23,7 @@ #include "PreCompiled.h" #ifndef _PreComp_ +# include # include # include # include diff --git a/src/Gui/Widgets.h b/src/Gui/Widgets.h index 9073bee882..4d71f9cafe 100644 --- a/src/Gui/Widgets.h +++ b/src/Gui/Widgets.h @@ -33,6 +33,7 @@ #include #include #include +#include namespace Gui { class PrefCheckBox;