X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/31500e009164b73d7c26469db34e16cc119999f9..9d1b149fe85f584e8c7e03f0d2a807b87d8711fd:/src/mc/mc_base.cpp diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index 9d407ed069..538ee5731d 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -32,15 +32,11 @@ XBT_LOG_NEW_CATEGORY(mc, "All MC categories"); int MC_random(int min, int max) { -#ifdef HAVE_MC xbt_assert(mc_mode != MC_MODE_SERVER); /* TODO, if the MC is disabled we do not really need to make a simcall for * this :) */ /* FIXME: return mc_current_state->executed_transition->random.value; */ return simcall_mc_random(min, max); -#else - return min; -#endif } void MC_wait_for_requests(void)