X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f513bba121b464f479e0a7a216dab3682162ae4c..1fc042e8bc9c51f9267fa1936deaebe59ae01ee7:/src/mc/mc_record.cpp?ds=sidebyside diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp index e61504e00a..5939b8401d 100644 --- a/src/mc/mc_record.cpp +++ b/src/mc/mc_record.cpp @@ -18,20 +18,20 @@ #include "simgrid/simix.h" #include "src/kernel/context/Context.hpp" +#include "src/mc/mc_record.hpp" +#include "src/mc/mc_replay.h" #include "src/simix/ActorImpl.hpp" #include "src/simix/smx_private.hpp" -#include "src/mc/mc_replay.h" -#include "src/mc/mc_record.hpp" #include "src/mc/mc_base.h" #include "src/mc/Transition.hpp" #if SIMGRID_HAVE_MC -#include "src/mc/mc_request.hpp" +#include "src/mc/checker/Checker.hpp" #include "src/mc/mc_private.hpp" -#include "src/mc/mc_state.hpp" +#include "src/mc/mc_request.hpp" #include "src/mc/mc_smx.hpp" -#include "src/mc/checker/Checker.hpp" +#include "src/mc/mc_state.hpp" #endif XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_record, mc,