Use C++ to implement dynamic dispatch

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

diff --git a/src/simix/SynchroIo.hpp b/src/simix/SynchroIo.hpp
index 3d0aa2b..afe6041 100644 (file)
--- a/src/simix/SynchroIo.hpp
+++ b/src/simix/SynchroIo.hpp
@@ -16,6 +16,7 @@ namespace simix {
   public:
     void suspend();
     void resume();
+    void post() override;
 
     sg_host_t host;
     surf_action_t surf_io;