From 324aff3dddd2b064ea4dc59c82454e2e391b9792 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 2 Nov 2023 11:15:09 +0100 Subject: [PATCH] Fix MC builds No idea why it wasn't catched by regular builds, but didn't dig either. --- src/mc/explo/udpor/ExtensionSetCalculator.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.20.1