X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/88fad0aaff9eb463f048bfdfe4ad6218aba44ddb..a900ac9d39fee1b3de240499c5326e5b8d4f44c2:/src/mc/Session.cpp diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp index 97834f19a4..dcff662039 100644 --- a/src/mc/Session.cpp +++ b/src/mc/Session.cpp @@ -88,7 +88,7 @@ Session::Session(pid_t pid, int socket) { std::unique_ptr process(new simgrid::mc::RemoteClient(pid, socket)); // TODO, automatic detection of the config from the process - process->privatized(smpi_privatize_global_variables != SMPI_PRIVATIZE_NONE); + process->privatized(smpi_privatize_global_variables != SmpiPrivStrategies::None); modelChecker_ = std::unique_ptr( new simgrid::mc::ModelChecker(std::move(process))); xbt_assert(mc_model_checker == nullptr);