X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1067edf07adcaa046abb976e7d92174d608b2d91..fe1ed43699e1784d267f47d8c532e00cb344198d:/src/kernel/actor/SynchroObserver.hpp

diff --git a/src/kernel/actor/SynchroObserver.hpp b/src/kernel/actor/SynchroObserver.hpp
index dc10e63afe..ffcfcabcf0 100644
--- a/src/kernel/actor/SynchroObserver.hpp
+++ b/src/kernel/actor/SynchroObserver.hpp
@@ -82,7 +82,7 @@ public:
 };
 
 class ConditionVariableObserver final : public ResultingSimcall<bool> {
-  mc::Transition::Type type_;
+  //mc::Transition::Type type_; Will be used when we implement CV on the MC side
   activity::ConditionVariableImpl* const cond_;
   activity::MutexImpl* const mutex_;
   const double timeout_;
@@ -92,6 +92,7 @@ public:
                             double timeout = -1.0)
       : ResultingSimcall(actor, false), cond_(cond), mutex_(mutex), timeout_(timeout)
   {
+    xbt_assert(mutex != nullptr, "Cannot wait on a condition variable without a valid mutex");
   }
   void serialize(std::stringstream& stream) const override;
   std::string to_string() const override;