X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ac679d5e69b1eb25e3f82be198607593407e7fc5..0bac7d0f735ac8ba47a46e1db4f6d7a7164fe0f2:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index 7ef07f57fe..2b051ca43b 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -8,9 +8,9 @@ #include -#include "simix/smx_private.h" +#include "src/simix/smx_private.h" -#include "mc_smx.h" +#include "src/mc/mc_smx.h" #include "ModelChecker.hpp" using simgrid::mc::remote; @@ -179,6 +179,7 @@ const char* MC_smx_process_get_host_name(smx_process_t p) simgrid::mc::Process* process = &mc_model_checker->process(); + // FIXME, simgrid::Host // Currently, smx_host_t = xbt_dictelm_t. // TODO, add an static_assert on this if switching to C++ // The host name is host->key and the host->key_len==strlen(host->key).