X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/43f5aa483faaf237121a30a49e59ce74e42e1acc..31500e009164b73d7c26469db34e16cc119999f9:/src/mc/mc_base.cpp diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp index c24d0f2561..9d407ed069 100644 --- a/src/mc/mc_base.cpp +++ b/src/mc/mc_base.cpp @@ -13,11 +13,11 @@ #include "mc/mc_record.h" #include "mc/mc_replay.h" #include "mc/mc.h" +#include "mc_protocol.h" #ifdef HAVE_MC #include "mc_process.h" #include "ModelChecker.hpp" -#include "mc_protocol.h" #include "mc_smx.h" #include "mc_server.h" #endif