X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/31f6ec7370f6689eed6b87f882dc578c9682b2e8..269fcd3a8b8e4ae311a99640e3993bdc30b98a5b:/src/mc/mc_request.cpp

diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp
index 29d008efda..d6be4512d5 100644
--- a/src/mc/mc_request.cpp
+++ b/src/mc/mc_request.cpp
@@ -140,7 +140,7 @@ bool request_depend_asymmetric(smx_simcall_t r1, smx_simcall_t r2)
 // Those are MC_state_get_internal_request(state)
 bool request_depend(smx_simcall_t r1, smx_simcall_t r2)
 {
-  if (mc_reduce_kind == e_mc_reduce_none)
+  if (simgrid::mc::reduction_mode == simgrid::mc::ReductionMode::none)
     return true;
 
   if (r1->issuer == r2->issuer)