From 8c272bc83bed049c84b9eb1155edbc1d01baaafb Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 31 Jul 2016 10:27:17 +0200 Subject: [PATCH] woops, fix MC builds --- src/mc/mc_state.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h index 1e47840449..bcb13df641 100644 --- a/src/mc/mc_state.h +++ b/src/mc/mc_state.h @@ -15,11 +15,11 @@ #include #include "src/simix/smx_private.h" -#include "src/simix/SynchroIo.hpp" -#include "src/simix/SynchroComm.hpp" -#include "src/simix/SynchroRaw.hpp" -#include "src/simix/SynchroSleep.hpp" -#include "src/simix/SynchroExec.hpp" +#include "src/synchro/SynchroIo.hpp" +#include "src/synchro/SynchroComm.hpp" +#include "src/synchro/SynchroRaw.hpp" +#include "src/synchro/SynchroSleep.hpp" +#include "src/synchro/SynchroExec.hpp" #include "src/mc/mc_snapshot.h" #include "src/mc/mc_record.h" #include "src/mc/Transition.hpp" -- 2.20.1