Fix bug with immediate conflict detection

[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 1cbdb2e0e53033c18d5348c91b0939958c3b2099..23c13f3beca555855756b07f923cbb7c368e3724 100644 (file)
--- a/src/mc/explo/udpor/udpor_forward.hpp
+++ b/src/mc/explo/udpor/udpor_forward.hpp
@@ -11,8 +11,13 @@
 #ifndef SIMGRID_MC_UDPOR_FORWARD_HPP
 #define SIMGRID_MC_UDPOR_FORWARD_HPP
 
+#include "src/mc/mc_forward.hpp"
+#include <simgrid/forward.h>
+
 namespace simgrid::mc::udpor {
 
+class Comb;
+class ExtensionSetCalculator;
 class EventSet;
 class Configuration;
 class History;