Encapsulate all menu related stuff inside Menu.cpp and simplify a few things.

[features.git] / src / frontends / qt4 / GuiSymbols.cpp

diff --git a/src/frontends/qt4/GuiSymbols.cpp b/src/frontends/qt4/GuiSymbols.cpp
index 3a47a5de1a60670a5d5781855ca2a97177e5b7c6..5486f5c1bf8f4b5e780248e0c30cd877a5edf5ea 100644 (file)
--- a/src/frontends/qt4/GuiSymbols.cpp
+++ b/src/frontends/qt4/GuiSymbols.cpp
@@ -20,6 +20,7 @@
 #include "BufferParams.h"
 #include "BufferView.h"
 #include "Encoding.h"
+#include "FuncRequest.h"
 
 #include "support/gettext.h"