Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix MC builds
[simgrid.git] / src / mc / explo / udpor / ExtensionSetCalculator.hpp
index 60a4ac3..cd68c9c 100644 (file)
@@ -9,7 +9,7 @@
 #include "src/mc/explo/udpor/EventSet.hpp"
 #include "src/mc/explo/udpor/udpor_forward.hpp"
 #include "src/mc/transition/Transition.hpp"
-#include "src/mc/transition/TransitionActorJoin.hpp"
+#include "src/mc/transition/TransitionActor.hpp"
 #include "src/mc/transition/TransitionAny.hpp"
 #include "src/mc/transition/TransitionComm.hpp"
 #include "src/mc/transition/TransitionObjectAccess.hpp"