Merge branch 'master' of https://framagit.org/simgrid/simgrid

[simgrid.git] / src / mc / explo / odpor / ReversibleRaceCalculator.cpp

diff --git a/src/mc/explo/odpor/ReversibleRaceCalculator.cpp b/src/mc/explo/odpor/ReversibleRaceCalculator.cpp
index efab9d39529e417fba8393dd1c93b7d71baa2bd7..105a0f9d85c72f81f6c0356750f7abe0eb263a12 100644 (file)
--- a/src/mc/explo/odpor/ReversibleRaceCalculator.cpp
+++ b/src/mc/explo/odpor/ReversibleRaceCalculator.cpp
@@ -41,7 +41,7 @@ bool ReversibleRaceCalculator::is_race_reversible(const Execution& E, Execution:
                  {Action::TESTANY, &ReversibleRaceCalculator::is_race_reversible_TestAny},
                  {Action::WAITANY, &ReversibleRaceCalculator::is_race_reversible_WaitAny}};
 
-  const auto e2_action = E.get_transition_for_handle(e2);
+  const auto* e2_action = E.get_transition_for_handle(e2);
   if (const auto handler = handlers.find(e2_action->type_); handler != handlers.end()) {
     return handler->second(E, e1, e2_action);
   } else {
@@ -196,4 +196,4 @@ bool ReversibleRaceCalculator::is_race_reversible_WaitAny(const Execution&, Exec
   return false;
 }
 
-} // namespace simgrid::mc::odpor
\ No newline at end of file
+} // namespace simgrid::mc::odpor