From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 28 Apr 2016 10:38:52 +0000 (+0200)
Subject: [mc] Fix compilation when MC id disabled
X-Git-Tag: v3_14~1318
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/eb1146f712f533bddd739ec73bfd7d5c58e2cdc3?hp=fd9d52c0c7a9c96221fff2013cdeef05b6e979e2

[mc] Fix compilation when MC id disabled
---

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index 8112d2c0b5..b188c03cad 100644
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -35,9 +35,11 @@ XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
 
 int MC_random(int min, int max)
 {
+#if HAVE_MC
   xbt_assert(mc_model_checker == nullptr);
   /* TODO, if the MC is disabled we do not really need to make a simcall for
    * this :) */
+#endif
   return simcall_mc_random(min, max);
 }
 
@@ -46,7 +48,9 @@ namespace mc {
 
 void wait_for_requests(void)
 {
+#if HAVE_MC
   xbt_assert(mc_model_checker == nullptr);
+#endif
 
   smx_process_t process;
   smx_simcall_t req;