From 31b4c42308e732920cf7ffbabaaf72fc1e5642e3 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 8 Mar 2011 14:13:45 +0100
Subject: [PATCH] Remove useless include.

---
 misc.h | 1 -
 1 file changed, 1 deletion(-)

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. */
-- 
2.39.5