From 079406f6158dc5409d8835d4a6681abdc8b4e1be Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Fri, 17 Mar 2017 21:09:27 +0100
Subject: [PATCH] Include <functional> (gcc7 was complaining here)

---
 libsrc/general/parthreads.hpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/libsrc/general/parthreads.hpp b/libsrc/general/parthreads.hpp
index 8f6561ad..c19bd222 100644
--- a/libsrc/general/parthreads.hpp
+++ b/libsrc/general/parthreads.hpp
@@ -10,6 +10,7 @@
 /*
   Parallel thread, Mutex,
 */
+#include <functional>
 
 namespace netgen
 {
@@ -95,9 +96,9 @@ void ParallelFor( int first, int next, const TFunc & f )
 
 
 
-  typedef void (*TaskManager)(function<void(int,int)>);
+  typedef void (*TaskManager)(std::function<void(int,int)>);
 
-  inline void DummyTaskManager (function<void(int,int)> func)
+  inline void DummyTaskManager (std::function<void(int,int)> func)
   {
     func(0,2);
     func(1,2);