From cf7086b90ae0dc6b8d1d30dfb1bc8aa84bdc4d02 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Fri, 13 May 2016 23:39:58 +0200
Subject: [PATCH 1/1] some more forgotten override markers

---
 src/simix/SynchroIo.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/simix/SynchroIo.hpp b/src/simix/SynchroIo.hpp
index afe6041cd9..53dcbdf043 100644
--- 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;
-- 
2.20.1