From eb04a98f8aea129ddb5e0d6437671cf50c0cab91 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 1 Jun 2018 15:50:31 +0200
Subject: [PATCH] Fix type mismatch for function pointer.

---
 src/xbt/dict.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xbt/dict.cpp b/src/xbt/dict.cpp
index 2dec54d96b..d4c7af3e10 100644
--- a/src/xbt/dict.cpp
+++ b/src/xbt/dict.cpp
@@ -560,7 +560,7 @@ static void debugged_add_ext(xbt_dict_t head, const char* key, const char* data_
 
   xbt_dict_set(head, key, data, nullptr);
   if (XBT_LOG_ISENABLED(xbt_dict, xbt_log_priority_debug)) {
-    xbt_dict_dump(head, (void (*)(void *)) &printf);
+    xbt_dict_dump(head, [](void* s) { fputs((char*)s, stdout); });
     fflush(stdout);
   }
 }
-- 
2.20.1