X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6385f8047016115eac6b22e850d468f34a178aa0..da7ddf47cca7f83884a15a05778d3909fd0e4cfd:/src/mc/mc_liveness.c

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index cfd565aa53..8505daf83a 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -404,7 +404,6 @@ static void MC_modelcheck_liveness_main(void)
 void MC_modelcheck_liveness(void)
 {
   XBT_DEBUG("Starting the liveness algorithm");
-  xbt_assert(mc_mode == MC_MODE_SERVER);
   _sg_mc_liveness = 1;
 
   xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);