Remove useless include.

diff --git a/misc.h b/misc.h
index 2f042b6e7b20d6a7aa662446af06fd1c72abe03a..47a6928bc48e2ec94cb2d7af6039d019560239c4 100644 (file)
--- a/misc.h
+++ b/misc.h
@@ -1,7 +1,6 @@
 #ifndef MISC_H
 #define MISC_H
 
-#include <functional>
 #include <xbt/log.h>
 
 /* Returns c-string "s" if n > 1, empty string "" otherwise. */