Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Address misc Sonar issues.
[simgrid.git] / src / mc / remote / AppSide.cpp
index 56de882..fe481ca 100644 (file)
@@ -85,7 +85,7 @@ AppSide* AppSide::initialize()
 
 void AppSide::handle_deadlock_check(const s_mc_message_t*) const
 {
-  auto* engine           = kernel::EngineImpl::get_instance();
+  const auto* engine     = kernel::EngineImpl::get_instance();
   const auto& actor_list = engine->get_actor_list();
   bool deadlock = not actor_list.empty() && std::none_of(begin(actor_list), end(actor_list), [](const auto& kv) {
     return mc::actor_is_enabled(kv.second);