X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/90069d83ac5270136aa713147bee6e691ed3941f..97d13963fc4bcb24172fd562b6600d79e8a6997d:/src/surf/surf_timer.c diff --git a/src/surf/surf_timer.c b/src/surf/surf_timer.c index 2dd64236ed..3a7463b235 100644 --- a/src/surf/surf_timer.c +++ b/src/surf/surf_timer.c @@ -256,8 +256,6 @@ static void surf_timer_model_init_internal(void) empty_trace = tmgr_empty_trace_new(); timer_heap = xbt_heap_new(8, NULL); - - xbt_assert0(maxmin_system, "surf_init has to be called first!"); } void surf_timer_model_init(const char *filename)