X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a0d47b6eaf07218a602ed6606da925fbd3629909..596e36117322c22fd31372e7803bc197bcd4a016:/src/mc/explo/odpor/ReversibleRaceCalculator.cpp diff --git a/src/mc/explo/odpor/ReversibleRaceCalculator.cpp b/src/mc/explo/odpor/ReversibleRaceCalculator.cpp index 575d8e048e..e3cccc761a 100644 --- a/src/mc/explo/odpor/ReversibleRaceCalculator.cpp +++ b/src/mc/explo/odpor/ReversibleRaceCalculator.cpp @@ -157,8 +157,8 @@ bool ReversibleRaceCalculator::is_race_reversible_MutexWait(const Execution& E, const Transition* /*t2*/) { // Only an Unlock can be dependent with a Wait - // and in this case, the Unlock enbaled the wait - // Not reversibled + // and in this case, that Unlock enabled the wait + // Not reversible return false; }