X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a3141b2111e49b104c2c6b59fe9e61146a688d38..f3507930c130404d05f982cf9fe960fb95f7eb4b:/src/surf/surf_private.h

diff --git a/src/surf/surf_private.h b/src/surf/surf_private.h
index a2c6654701..9a25508778 100644
--- a/src/surf/surf_private.h
+++ b/src/surf/surf_private.h
@@ -13,12 +13,11 @@
 #include "surf/trace_mgr.h"
 #include "xbt/log.h"
 #include "surf/surfxml_parse_private.h"
+#include "surf/random_mgr.h"
 
 #define NO_MAX_DURATION -1.0
 #define SG_TCP_CTE_GAMMA 20000.0
 
-xbt_dict_t current_property_set;
-
 extern const char *surf_action_state_names[6];
 
 typedef enum {