}
static void set_update_mechanism(void) {
+#ifdef HAVE_TRACING
+ TRACE_set_network_update_mechanism ();
+#endif
+
char *optim = xbt_cfg_get_string(_surf_cfg_set, "network/optim");
int select = xbt_cfg_get_int(_surf_cfg_set, "network/maxmin_selective_update");