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

diff --git a/src/kernel/actor/SynchroObserver.hpp b/src/kernel/actor/SynchroObserver.hpp
index dc10e63afe..b2bfd31fe8 100644
--- a/src/kernel/actor/SynchroObserver.hpp
+++ b/src/kernel/actor/SynchroObserver.hpp
@@ -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;