[simix] C++-based ownership of process name and arguments

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

diff --git a/src/simix/SynchroExec.hpp b/src/simix/SynchroExec.hpp
index 7904cfe..20d26f8 100644 (file)
--- a/src/simix/SynchroExec.hpp
+++ b/src/simix/SynchroExec.hpp
@@ -15,8 +15,9 @@ namespace simix {
   XBT_PUBLIC_CLASS Exec : public Synchro {
     ~Exec();
   public:
-    void suspend();
-    void resume();
+    void suspend() override;
+    void resume() override;
+    void post() override;
     double remains();
 
     sg_host_t host;                /* The host where the execution takes place */