Another struct/class mismatch between forward declaration and actual use

diff --git a/src/mc/explo/odpor/odpor_forward.hpp b/src/mc/explo/odpor/odpor_forward.hpp
index 946e3f4..8fba97c 100644 (file)
--- a/src/mc/explo/odpor/odpor_forward.hpp
+++ b/src/mc/explo/odpor/odpor_forward.hpp
@@ -22,7 +22,7 @@ using PartialExecution = std::list<std::shared_ptr<Transition>>;
 
 class Event;
 class Execution;
 
 class Event;
 class Execution;

-class ReversibleRaceCalculator;
+struct ReversibleRaceCalculator;

 class WakeupTree;
 class WakeupTreeNode;
 struct WakeupTreeIterator;
 class WakeupTree;
 class WakeupTreeNode;
 struct WakeupTreeIterator;