Call surf_timer_model_init() from surf_config_models_setup() so that upper layer...

[simgrid.git] / src / surf / surf_config.c

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 7533ba2..9e60272 100644 (file)
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -209,6 +209,8 @@ void surf_config_models_setup(const char *platform_file)
   char *workstation_model_name;
   int workstation_id = -1;
 
+  surf_timer_model_init(file);
+
   workstation_model_name =
     xbt_cfg_get_string(_surf_cfg_set, "workstation_model");