From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 8 Sep 2015 14:09:49 +0000 (+0200)
Subject: Fix a misleading output
X-Git-Tag: v3_12~275
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/72d54b79829cfb0c0f5115500b9d14dc225c909a?ds=sidebyside

Fix a misleading output
---

diff --git a/src/mc/mc_safety.cpp b/src/mc/mc_safety.cpp
index 7336489ef4..65f381a14a 100644
--- a/src/mc/mc_safety.cpp
+++ b/src/mc/mc_safety.cpp
@@ -201,7 +201,7 @@ void MC_modelcheck_safety(void)
           req = MC_state_get_internal_request(state);
           if (req->call == SIMCALL_MUTEX_LOCK || req->call == SIMCALL_MUTEX_TRYLOCK)
             xbt_die("Mutex is currently not supported with DPOR, "
-              "use --cfg=model-check/reduction:dpor");
+              "use --cfg=model-check/reduction:none");
           const smx_process_t issuer = MC_smx_simcall_get_issuer(req);
           xbt_fifo_foreach(mc_stack, item, prev_state, mc_state_t) {
             if (MC_request_depend(req, MC_state_get_internal_request(prev_state))) {