From eb1146f712f533bddd739ec73bfd7d5c58e2cdc3 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 28 Apr 2016 12:38:52 +0200
Subject: [PATCH] [mc] Fix compilation when MC id disabled

---
 src/mc/mc_base.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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;
-- 
2.20.1