Add reversible race implementations for Comm actions

[simgrid.git] / src / mc / explo / odpor / odpor_forward.hpp

diff --git a/src/mc/explo/odpor/odpor_forward.hpp b/src/mc/explo/odpor/odpor_forward.hpp
index 11161c6..52388bc 100644 (file)
--- a/src/mc/explo/odpor/odpor_forward.hpp
+++ b/src/mc/explo/odpor/odpor_forward.hpp
@@ -18,11 +18,11 @@
 
 namespace simgrid::mc::odpor {
 
-using PartialExecution  = std::list<std::shared_ptr<Transition>>;
-using ExecutionSequence = std::list<const Transition*>;
+using PartialExecution = std::list<std::shared_ptr<Transition>>;
 
 class Event;
 class Execution;
+class ReversibleRaceCalculator;
 class WakeupTree;
 class WakeupTreeNode;
 class WakeupTreeIterator;