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 1008235..865df16 100644 (file)
--- a/src/mc/explo/udpor/udpor_forward.hpp
+++ b/src/mc/explo/udpor/udpor_forward.hpp
@@ -18,6 +18,7 @@ class Configuration;
 class History;
 class Unfolding;
 class UnfoldingEvent;
+class maximal_subsets_iterator;
 
 } // namespace simgrid::mc::udpor