X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/20fabe93ac38dd554aebc5f870e01863ff016251..4164a74926df84d357f66508c72d0dd716de5387:/src/mc/mc_config.cpp

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index d451db1729..fe9b06fd1a 100644
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -151,8 +151,7 @@ simgrid::mc::ReductionMode simgrid::mc::get_model_checking_reduction()
   } else if (cfg_mc_reduction.get() == "sdpor") {
     return ReductionMode::sdpor;
   } else if (cfg_mc_reduction.get() == "odpor") {
-    XBT_INFO("No reduction will be used: ODPOR is not yet supported in SimGrid");
-    return simgrid::mc::ReductionMode::none;
+    return simgrid::mc::ReductionMode::odpor;
   } else if (cfg_mc_reduction.get() == "udpor") {
     XBT_INFO("No reduction will be used: "
              "UDPOR is has a dedicated invocation 'model-check/unfolding-checker' "