Use C++ to implement dynamic dispatch

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

diff --git a/src/simix/SynchroSleep.hpp b/src/simix/SynchroSleep.hpp
index 5a87136..b999526 100644 (file)
--- a/src/simix/SynchroSleep.hpp
+++ b/src/simix/SynchroSleep.hpp
@@ -16,6 +16,7 @@ namespace simix {
   public:
     void suspend();
     void resume();
+    void post() override;
 
     sg_host_t host;                /* The host that is sleeping */
     surf_action_t surf_sleep;       /* The Surf sleeping action encapsulated */