From e05fcc7daf7d806c9766cfe75ca2b4880c3dccf0 Mon Sep 17 00:00:00 2001 From: wmayer Date: Sat, 16 Jun 2012 16:31:05 +0200 Subject: [PATCH] Fix warning --- src/Gui/Splashscreen.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Gui/Splashscreen.cpp b/src/Gui/Splashscreen.cpp index d127e13bb17e..9464a5da1ce1 100644 --- a/src/Gui/Splashscreen.cpp +++ b/src/Gui/Splashscreen.cpp @@ -23,6 +23,7 @@ #include "PreCompiled.h" #ifndef _PreComp_ +# include # include # include # include @@ -30,7 +31,6 @@ # include # include # include -# include # include # include #endif