X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d6eb772e45cc853fc204bb5aebeb411cdfa7c929..026045c5de7c9b574fc67c8b11a3cf64a35c3109:/src/mc/api/RemoteApp.cpp?ds=sidebyside diff --git a/src/mc/api/RemoteApp.cpp b/src/mc/api/RemoteApp.cpp index 114c7e4686..45e595eed6 100644 --- a/src/mc/api/RemoteApp.cpp +++ b/src/mc/api/RemoteApp.cpp @@ -185,8 +185,7 @@ Transition* RemoteApp::handle_simcall(aid_t aid, int times_considered, bool new_ m.times_considered_ = times_considered; checker_side_->get_channel().send(m); - auto* memory = get_remote_process_memory(); - if (memory != nullptr) + if (auto* memory = get_remote_process_memory(); memory != nullptr) memory->clear_cache(); if (checker_side_->running()) checker_side_->dispatch_events(); // The app may send messages while processing the transition