Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / simix / SynchroRaw.hpp

diff --git a/src/simix/SynchroRaw.hpp b/src/simix/SynchroRaw.hpp
index 3d8a28e..2b62f87 100644 (file)
--- a/src/simix/SynchroRaw.hpp
+++ b/src/simix/SynchroRaw.hpp
@@ -6,6 +6,7 @@
 #ifndef _SIMIX_SYNCHRO_RAW_HPP
 #define _SIMIX_SYNCHRO_RAW_HPP
 
+#include "surf/surf.h"
 #include "src/simix/Synchro.h"
 
 namespace simgrid {
@@ -14,6 +15,11 @@ 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;
   };