From 5394481071824b39b521d67e2acd7d509e68d0f8 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Mon, 2 Apr 2018 15:39:56 +0200 Subject: [PATCH] Upstreaming compilation patch needed for Gentoo. --- src/frontends/qt4/GuiDocument.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/frontends/qt4/GuiDocument.cpp b/src/frontends/qt4/GuiDocument.cpp index 09203781f0..74c4807878 100644 --- a/src/frontends/qt4/GuiDocument.cpp +++ b/src/frontends/qt4/GuiDocument.cpp @@ -68,11 +68,12 @@ #include "frontends/alert.h" #include -#include +#include #include #include #include #include +#include #include #include #include -- 2.39.5