From 0df38498903aae4bb9bb069ec72ea6b6ab461592 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 28 Sep 2017 07:58:08 +0200
Subject: [PATCH] fix build on weird clangs

---
 src/instr/instr_private.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index c9520562c3..f611d228d8 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -13,6 +13,7 @@
 #include "simgrid_config.h"
 #include "src/internal_config.h"
 #include <set>
+#include <string>
 
 /* Need to define function drand48 for Windows */
 /* FIXME: use _drand48() defined in src/surf/random_mgr.c instead */
-- 
2.20.1