From d11f3a46f6e184d0eccdd35ecc23f165a8c910f0 Mon Sep 17 00:00:00 2001 From: alegrand Date: Wed, 12 Sep 2007 15:14:19 +0000 Subject: [PATCH] remove useless dependency git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4598 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/surf/surf_timer.c | 2 -- 1 file changed, 2 deletions(-) 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) -- 2.20.1