From 2cbd47e29707c7935e7bf15dfe8eb9c3a1c000c3 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 678fc24d3f..c0d4864a50 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