Define const get_sharing_policy().

[simgrid.git] / src / kernel / context / ContextSwapped.hpp

diff --git a/src/kernel/context/ContextSwapped.hpp b/src/kernel/context/ContextSwapped.hpp
index 414416d41f95431cbe59600163d47ee796fbdf63..8d21c0191720ee5a957f6df1069282cc6c2fe65e 100644 (file)
--- a/src/kernel/context/ContextSwapped.hpp
+++ b/src/kernel/context/ContextSwapped.hpp
@@ -50,7 +50,7 @@ public:
   SwappedContext(std::function<void()>&& code, actor::ActorImpl* get_actor, SwappedContextFactory* factory);
   SwappedContext(const SwappedContext&) = delete;
   SwappedContext& operator=(const SwappedContext&) = delete;
-  virtual ~SwappedContext();
+  ~SwappedContext() override;
 
   void suspend() override;
   virtual void resume();