Merge branch 'master' into disk

[simgrid.git] / src / mc / remote / mc_protocol.h

diff --git a/src/mc/remote/mc_protocol.h b/src/mc/remote/mc_protocol.h
index 16134aa698f9d43e00be75e69198e91057494c48..fd79b48bf8f129af30a8e1a5898b20c9c03fe9f4 100644 (file)
--- a/src/mc/remote/mc_protocol.h
+++ b/src/mc/remote/mc_protocol.h
@@ -8,6 +8,7 @@
 
 #include "mc/datatypes.h"
 #include "simgrid/forward.h"
+#include "stdint.h"
 
 SG_BEGIN_DECL()