Use C++ to implement dynamic dispatch

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

diff --git a/src/simix/SynchroRaw.hpp b/src/simix/SynchroRaw.hpp
index c0a3444..25d4c2d 100644 (file)
--- a/src/simix/SynchroRaw.hpp
+++ b/src/simix/SynchroRaw.hpp
@@ -17,6 +17,7 @@ namespace simix {
   public:
     void suspend();
     void resume();
+    void post() override;
 
     surf_action_t sleep;
   };