Fix subtle bug in ~_E computation

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

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index 2174f3a..1d9375f 100644 (file)
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -154,8 +154,8 @@ simgrid::mc::ReductionMode simgrid::mc::get_model_checking_reduction()
     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' "
-             "but is not yet supported in SimGrid");
+             "UDPOR has a dedicated invocation 'model-check/unfolding-checker' "
+             "but is not yet fully supported in SimGrid");
     return ReductionMode::none;
   } else {
     XBT_INFO("Unknown reduction mode: defaulting to no reduction");