X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d2dde43678c66f9593c2a2151f0f6e7c85d3b079..983ff2d3ba0217acac8e5c963f6669be3b4f9e02:/src/mc/mc_config.cpp

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index 2174f3a4f8..1d9375f627 100644
--- 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");