X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/27a0221ef9fdde160940eddbb605ef34754ffe2e..324aff3dddd2b064ea4dc59c82454e2e391b9792:/src/mc/explo/udpor/ExtensionSetCalculator.hpp diff --git a/src/mc/explo/udpor/ExtensionSetCalculator.hpp b/src/mc/explo/udpor/ExtensionSetCalculator.hpp index 60a4ac375b..cd68c9c7ff 100644 --- a/src/mc/explo/udpor/ExtensionSetCalculator.hpp +++ b/src/mc/explo/udpor/ExtensionSetCalculator.hpp @@ -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"