From 302e7ed38e37504bd6cde8207f7065b49f14e906 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 16 May 2016 07:25:11 +0200
Subject: [PATCH] woops, I commited a local test

---
 examples/msg/dht-chord/dht-chord.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/msg/dht-chord/dht-chord.c b/examples/msg/dht-chord/dht-chord.c
index e51439c1e3..b8928e7bff 100644
--- a/examples/msg/dht-chord/dht-chord.c
+++ b/examples/msg/dht-chord/dht-chord.c
@@ -6,6 +6,7 @@
 #include "simgrid/msg.h"
 #include "simgrid/modelchecker.h"
 #include <xbt/RngStream.h>
+#include "src/mc/mc_replay.h" // FIXME: this is an internal header
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(msg_chord, "Messages specific for this msg example");
 
-- 
2.20.1