X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0a6556cf9aa3e733965b6a18574efd63b54caa0d..1e9ffea6fdfe24e3268eebcda6fa00d34d6a652b:/src/mc/transition/TransitionAny.cpp diff --git a/src/mc/transition/TransitionAny.cpp b/src/mc/transition/TransitionAny.cpp index 9de469b684..0be0a04535 100644 --- a/src/mc/transition/TransitionAny.cpp +++ b/src/mc/transition/TransitionAny.cpp @@ -4,8 +4,9 @@ * under the terms of the license (GNU LGPL) which comes with this package. */ #include "src/mc/transition/TransitionAny.hpp" +#include "simgrid/config.h" #include "xbt/asserts.h" -#include +#include "xbt/string.hpp" #if SIMGRID_HAVE_MC #include "src/mc/ModelChecker.hpp" #include "src/mc/api/RemoteApp.hpp"