From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 8 Mar 2011 13:13:45 +0000 (+0100)
Subject: Remove useless include.
X-Git-Tag: v0.1~87
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/loba.git/commitdiff_plain/31b4c42308e732920cf7ffbabaaf72fc1e5642e3?ds=sidebyside;hp=-c

Remove useless include.
---

31b4c42308e732920cf7ffbabaaf72fc1e5642e3
diff --git a/misc.h b/misc.h
index 2f042b6..47a6928 100644
--- 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. */