From 2d8461521964121b8ac7ac6ebe5f0d29dfe36343 Mon Sep 17 00:00:00 2001 From: wmayer Date: Mon, 30 Jan 2017 23:13:05 +0100 Subject: [PATCH] include required header under Linux --- src/Gui/SceneInspector.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Gui/SceneInspector.cpp b/src/Gui/SceneInspector.cpp index f902f93a3..013520d18 100644 --- a/src/Gui/SceneInspector.cpp +++ b/src/Gui/SceneInspector.cpp @@ -23,7 +23,7 @@ #include "PreCompiled.h" #ifndef _PreComp_ -# include +# include # include #endif