X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8931c50811dc9cd298b6b30eb0b5691c3a6e4d8d..7792ce44dc2744211836680af4775a35a823b242:/src/mc/checker/CommunicationDeterminismChecker.cpp?ds=sidebyside diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index 5e4c37d475..e64020db30 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -537,7 +537,7 @@ void CommunicationDeterminismChecker::real_run() void CommunicationDeterminismChecker::run() { XBT_INFO("Check communication determinism"); - mcapi::get().s_initialize(); + mcapi::get().session_initialize(); this->prepare(); this->real_run();