#include "src/mc/mc_private.h"
#endif
-#include "src/simix/SynchroExec.hpp"
-#include "src/simix/SynchroComm.hpp"
-#include "src/simix/SynchroSleep.hpp"
-#include "src/simix/SynchroRaw.hpp"
-#include "src/simix/SynchroIo.hpp"
+#include "src/synchro/SynchroExec.hpp"
+#include "src/synchro/SynchroComm.hpp"
+#include "src/synchro/SynchroSleep.hpp"
+#include "src/synchro/SynchroRaw.hpp"
+#include "src/synchro/SynchroIo.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_popping, simix,
"Popping part of SIMIX (transmuting from user request into kernel handlers)");