From: Martin Quinson Date: Mon, 16 Jan 2017 21:33:55 +0000 (+0100) Subject: clang-format broke my commit X-Git-Tag: v3_15~540 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9f0ad29ba4ccab06ecae9ea34a2e78898a7188ad clang-format broke my commit --- diff --git a/src/mc/VisitedState.hpp b/src/mc/VisitedState.hpp index b9e85967ba..eced3ecc0f 100644 --- a/src/mc/VisitedState.hpp +++ b/src/mc/VisitedState.hpp @@ -12,6 +12,7 @@ #include #include "src/mc/mc_snapshot.h" +#include "src/mc/mc_state.h" namespace simgrid { namespace mc { diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index 741e7ad581..6c93733397 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -13,7 +13,6 @@ #include "src/mc/Transition.hpp" #include "src/mc/VisitedState.hpp" #include "src/mc/checker/CommunicationDeterminismChecker.hpp" -#include "src/mc/mc_comm_pattern.h" #include "src/mc/mc_exit.h" #include "src/mc/mc_private.h" #include "src/mc/mc_record.h" diff --git a/src/mc/checker/CommunicationDeterminismChecker.hpp b/src/mc/checker/CommunicationDeterminismChecker.hpp index 88b1fdb9c8..d185c900d8 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.hpp +++ b/src/mc/checker/CommunicationDeterminismChecker.hpp @@ -9,9 +9,10 @@ #include #include -#include "src/mc/mc_forward.hpp" -#include "src/mc/checker/Checker.hpp" #include "src/mc/VisitedState.hpp" +#include "src/mc/checker/Checker.hpp" +#include "src/mc/mc_comm_pattern.h" +#include "src/mc/mc_forward.hpp" #ifndef SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP #define SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP diff --git a/src/mc/checker/SafetyChecker.hpp b/src/mc/checker/SafetyChecker.hpp index f5b3de4fd5..0efcdaed57 100644 --- a/src/mc/checker/SafetyChecker.hpp +++ b/src/mc/checker/SafetyChecker.hpp @@ -12,9 +12,10 @@ #include #include -#include "src/mc/mc_forward.hpp" -#include "src/mc/checker/Checker.hpp" #include "src/mc/VisitedState.hpp" +#include "src/mc/checker/Checker.hpp" +#include "src/mc/mc_forward.hpp" +#include "src/mc/mc_safety.h" namespace simgrid { namespace mc {