Add missing 'override'

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

diff --git a/src/simix/SynchroExec.hpp b/src/simix/SynchroExec.hpp
index 58951ce..b771a39 100644 (file)
--- a/src/simix/SynchroExec.hpp
+++ b/src/simix/SynchroExec.hpp
@@ -13,7 +13,7 @@ namespace simgrid {
 namespace simix {
 
   XBT_PUBLIC_CLASS Exec : public Synchro {
-    ~Exec();
+    ~Exec() override;
   public:
     Exec(const char*name, sg_host_t host);
     void suspend() override;