From c1823efe380dba4a64064f23bac776ec68f42022 Mon Sep 17 00:00:00 2001 From: wmayer Date: Tue, 16 Dec 2014 17:06:05 +0100 Subject: [PATCH] + fix build failure --- src/Gui/Widgets.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Gui/Widgets.cpp b/src/Gui/Widgets.cpp index 678fc24d3..c0d4864a5 100644 --- a/src/Gui/Widgets.cpp +++ b/src/Gui/Widgets.cpp @@ -29,10 +29,12 @@ # include # include # include +# include # include # include # include # include +# include # include # include #endif