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

diff --git a/src/simix/SynchroIo.hpp b/src/simix/SynchroIo.hpp
index afe6041cd949aa8d5ae3789dd159f9dc5ee56afc..53dcbdf0436f4acf131f9f886709ece9adb0c90b 100644 (file)
--- a/src/simix/SynchroIo.hpp
+++ b/src/simix/SynchroIo.hpp
@@ -14,8 +14,8 @@ namespace simix {
 
   XBT_PUBLIC_CLASS Io : public Synchro {
   public:
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
     void post() override;
 
     sg_host_t host;