X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bb7f75b0b28b2329bf437a32945afaa00c59ee94..6a66ef7c8b80c9f76525b67c64d847e3803ee517:/src/simix/SynchroRaw.hpp?ds=sidebyside

diff --git a/src/simix/SynchroRaw.hpp b/src/simix/SynchroRaw.hpp
index 3c920fab89..1d9345b8c5 100644
--- a/src/simix/SynchroRaw.hpp
+++ b/src/simix/SynchroRaw.hpp
@@ -15,11 +15,12 @@ namespace simix {
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
+    ~Raw() override;
     void suspend() override;
     void resume() override;
     void post() override;
 
-    surf_action_t sleep;
+    surf_action_t sleep = nullptr;
   };
 
 }} // namespace simgrid::simix