From 339230416df9cd3bfc65922017bec998adebbb5d Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 1 Mar 2017 15:53:24 +0100
Subject: [PATCH] fix what clang-format broke

---
 include/xbt/replay.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/xbt/replay.h b/include/xbt/replay.h
index 45246190d1..e6bc6739f9 100644
--- a/include/xbt/replay.h
+++ b/include/xbt/replay.h
@@ -11,6 +11,8 @@
 
 #include "xbt/dict.h"
 
+#include <stdio.h>
+
 SG_BEGIN_DECL()
 
 typedef struct s_replay_reader *xbt_replay_reader_t;
-- 
2.20.1