X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/334e868fd56cf359ef71557b7eba026687fbef73..b08cf565e62c980d3fa23c031b341ca4f1427bd9:/src/simix/SynchroExec.hpp

diff --git a/src/simix/SynchroExec.hpp b/src/simix/SynchroExec.hpp
index c81b6b7b0f..20d26f818f 100644
--- a/src/simix/SynchroExec.hpp
+++ b/src/simix/SynchroExec.hpp
@@ -13,9 +13,12 @@ namespace simgrid {
 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 */
     surf_action_t surf_exec;        /* The Surf execution action encapsulated */