Resolve misconception with ODPOR pseudocode impl.

[simgrid.git] / src / mc / mc_config.cpp

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index fe9b06f..2174f3a 100644 (file)
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -151,7 +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") {
-    return simgrid::mc::ReductionMode::odpor;
+    return 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' "