From 596e36117322c22fd31372e7803bc197bcd4a016 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 12 Nov 2023 15:03:26 +0100 Subject: [PATCH] Small typos in comments --- src/mc/explo/odpor/ReversibleRaceCalculator.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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; } -- 2.20.1