From d898ecc32eb81b38a9a7d526d2b79c2269120c04 Mon Sep 17 00:00:00 2001 From: wmayer Date: Fri, 6 Oct 2017 17:06:31 +0200 Subject: [PATCH] add missing header --- src/Gui/CommandStructure.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Gui/CommandStructure.cpp b/src/Gui/CommandStructure.cpp index 163cba1b08..a28d4b052a 100644 --- a/src/Gui/CommandStructure.cpp +++ b/src/Gui/CommandStructure.cpp @@ -23,6 +23,7 @@ #include "PreCompiled.h" #ifndef _PreComp_ +#include #include #endif