Please scan-build and hopefully sonar too [ci-skip]

diff --git a/src/kernel/actor/MutexObserver.hpp b/src/kernel/actor/MutexObserver.hpp
index 6b46645..e413a01 100644 (file)
--- a/src/kernel/actor/MutexObserver.hpp
+++ b/src/kernel/actor/MutexObserver.hpp
@@ -20,7 +20,7 @@ namespace actor {
 /* All the observers of Mutex transitions are very similar, so implement them all together in this class */
 class MutexObserver : public SimcallObserver {
   mc::Transition::Type type_;
-  activity::MutexImpl* const mutex_ = nullptr;
+  activity::MutexImpl* const mutex_;
 
 public:
   MutexObserver(ActorImpl* actor, mc::Transition::Type type, activity::MutexImpl* mutex);