fix build on weird clangs

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index c952056..f611d22 100644 (file)
--- 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 */