From 1afad5311cbf922c841802af6565a678abb5954f Mon Sep 17 00:00:00 2001 From: wmayer Date: Sun, 24 Sep 2017 19:48:01 +0200 Subject: [PATCH] add missing include --- src/Gui/OnlineDocumentation.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Gui/OnlineDocumentation.cpp b/src/Gui/OnlineDocumentation.cpp index ac8c086be3..68aebf38b5 100644 --- a/src/Gui/OnlineDocumentation.cpp +++ b/src/Gui/OnlineDocumentation.cpp @@ -23,6 +23,7 @@ #include "PreCompiled.h" #ifndef _PreComp_ +# include # include # include # include