X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5c12b10224870f6f78c90ae7d5747cd93a60f458..b923f24fcb86571011626426f577fe6322094bb3:/src/mc/mc_smx.cpp diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp index 1f27dc8580..c1ea4b3f38 100644 --- a/src/mc/mc_smx.cpp +++ b/src/mc/mc_smx.cpp @@ -151,8 +151,7 @@ int MC_smpi_process_count() if (mc_model_checker == nullptr) return smpi_process_count(); int res; - mc_model_checker->process().read_variable("process_count", - &res, sizeof(res)); + mc_model_checker->process().read_variable("process_count", &res, sizeof(res)); return res; } #endif