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 7086bd3..2b62f87 100644 (file)
--- a/src/simix/SynchroRaw.hpp
+++ b/src/simix/SynchroRaw.hpp
@@ -15,7 +15,7 @@ namespace simix {
   /** Used to implement mutexes, semaphores and conditions */
   XBT_PUBLIC_CLASS Raw : public Synchro {
   public:
-    ~Raw();
+    ~Raw() override;
     void suspend() override;
     void resume() override;
     void post() override;