X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/90069d83ac5270136aa713147bee6e691ed3941f..027f3abe8f56d9729fa87329b559a5723e34aed5:/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)