gcc 7 compatible

Giuseppe Cannella · Giuseppe Cannella · commit 67d5798d4a5d · 2017-08-30T17:10:03.000+02:00
diff --git a/src/util/Timer.h b/src/util/Timer.h
@@ -20,6 +20,7 @@
 
 #include "../threadPool/Thread.h"
 #include <vector>
+#include <functional>
 
 class Timer : public Thread<Timer> {
 public:
