Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Minor sonar smells, and other cosmetics.
[simgrid.git] / src / kernel / actor / SynchroObserver.cpp
index a1c0be4..a0bc2c4 100644 (file)
@@ -25,7 +25,7 @@ MutexObserver::MutexObserver(ActorImpl* actor, mc::Transition::Type type, activi
 
 void MutexObserver::serialize(std::stringstream& stream) const
 {
-  auto* owner = get_mutex()->get_owner();
+  const auto* owner = get_mutex()->get_owner();
   stream << (short)type_ << ' ' << get_mutex()->get_id() << ' ' << (owner != nullptr ? owner->get_pid() : -1);
 }