X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/218c42a20c7eaba87e20cfb3eaac5ad8e0d0f739..9cf73cc09740865d0de90546a12b2e2d74cfaf6f:/src/smpi/smpi_global.c diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c index bada714bdd..7047bcc99c 100644 --- a/src/smpi/smpi_global.c +++ b/src/smpi/smpi_global.c @@ -7,12 +7,12 @@ #include "private.h" #include "smpi_mpi_dt_private.h" #include "mc/mc.h" -#include "mc/mc_record.h" +#include "src/mc/mc_record.h" #include "xbt/replay.h" #include "surf/surf.h" -#include "simix/smx_private.h" +#include "src/simix/smx_private.h" #include "simgrid/sg_config.h" -#include "mc/mc_replay.h" +#include "src/mc/mc_replay.h" #include /* DBL_MAX */ #include @@ -396,7 +396,7 @@ void smpi_comm_null_copy_buffer_callback(smx_synchro_t comm, static void smpi_check_options(){ //check correctness of MPI parameters - xbt_assert(sg_cfg_get_int("smpi/async_small_thres") <= + xbt_assert(sg_cfg_get_int("smpi/async_small_thresh") <= sg_cfg_get_int("smpi/send_is_detached_thres")); if (sg_cfg_is_default_value("smpi/running_power")) {