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

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

diff --git a/src/simix/ContextBoost.hpp b/src/simix/ContextBoost.hpp
index b57adf23d05a3838df176f7198c2db2a5f89917b..7e9414d2337451ce0070051601afd71199df1cd6 100644 (file)
--- a/src/simix/ContextBoost.hpp
+++ b/src/simix/ContextBoost.hpp
@@ -44,8 +44,8 @@ public:
   BoostContext(std::function<void()> code,
           void_pfn_smxprocess_t cleanup_func,
           smx_process_t process);
-  ~BoostContext();
-  void resume();
+  ~BoostContext() override;
+  virtual void resume();
 private:
   static void wrapper(int first, ...);
 };
@@ -57,8 +57,8 @@ public:
   friend BoostParallelContext;
 
   BoostContextFactory();
-  virtual ~BoostContextFactory();
-  virtual Context* create_context(std::function<void()> code,
+  ~BoostContextFactory() override;
+  Context* create_context(std::function<void()> code,
     void_pfn_smxprocess_t, smx_process_t process) override;
   void run_all() override;
 };