From dcbbdb76235fa9456ef9d717dbfdceef530603dc Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Sun, 10 Dec 2017 14:17:55 +0100
Subject: [PATCH] confguiindex.cpp: missing include <functional>

---
 src/qtgui/confgui/confguiindex.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/qtgui/confgui/confguiindex.cpp b/src/qtgui/confgui/confguiindex.cpp
index ea206ee1..dc0aed13 100644
--- a/src/qtgui/confgui/confguiindex.cpp
+++ b/src/qtgui/confgui/confguiindex.cpp
@@ -31,6 +31,7 @@
 #include <list>
 #include <set>
 #include <string>
+#include <functional>
 using std::list;
 using std::set;
 using std::string;