do not wait for too small durations to avoid numerical instabilities

[simgrid.git] / src / surf / surf_private.h

diff --git a/src/surf/surf_private.h b/src/surf/surf_private.h
index a2c6654701eb50723ba309c81ceb97899dbb6529..9a25508778231c2070c1b07de64782e2472cc8f3 100644 (file)
--- 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 {