X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9ad3b281f6e187eeb20c48f88820a1c0091bcf8f..0df38498903aae4bb9bb069ec72ea6b6ab461592:/src/instr/instr_private.h

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 */