Merge branch 'udpor-phase4' into 'master'

[simgrid.git] / src / mc / explo / udpor / udpor_forward.hpp

diff --git a/src/mc/explo/udpor/udpor_forward.hpp b/src/mc/explo/udpor/udpor_forward.hpp
index 8ac003e..865df16 100644 (file)
--- a/src/mc/explo/udpor/udpor_forward.hpp
+++ b/src/mc/explo/udpor/udpor_forward.hpp
@@ -14,12 +14,11 @@
 namespace simgrid::mc::udpor {
 
 class EventSet;
-class CompatabilityGraph;
-class CompatabilityGraphNode;
 class Configuration;
 class History;
 class Unfolding;
 class UnfoldingEvent;
+class maximal_subsets_iterator;
 
 } // namespace simgrid::mc::udpor