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);
}