X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6f5199d14e3f1b6505d3e264257bfe64bd991ca7..debe4e5871c0c3d1c714bbb1bd28ba7147454aa5:/src/mc/mc_record.cpp diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp index 51a699d486..8183746d34 100644 --- a/src/mc/mc_record.cpp +++ b/src/mc/mc_record.cpp @@ -1,29 +1,15 @@ -/* Copyright (c) 2014-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include -#include -#include - -#include -#include -#include - -#include "xbt/log.h" -#include "xbt/sysdep.h" - -#include "simgrid/simix.h" - -#include "src/kernel/context/Context.hpp" #include "src/mc/mc_record.hpp" +#include "src/kernel/activity/CommImpl.hpp" +#include "src/kernel/context/Context.hpp" +#include "src/mc/Transition.hpp" +#include "src/mc/mc_base.h" #include "src/mc/mc_replay.hpp" #include "src/simix/ActorImpl.hpp" -#include "src/simix/smx_private.hpp" - -#include "src/mc/mc_base.h" -#include "src/mc/Transition.hpp" #if SIMGRID_HAVE_MC #include "src/mc/checker/Checker.hpp"