From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Nov 2023 14:03:26 +0000 (+0100)
Subject: Small typos in comments
X-Git-Tag: v3.35~76
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/596e36117322c22fd31372e7803bc197bcd4a016

Small typos in comments
---

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;
 }