X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b9625f82f86db0674e911887addce45dca31b57f..6fb292d7e99020dc305b845e0a2284a9d811a4b2:/src/instr/instr_paje_events.hpp?ds=sidebyside

diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp
index f26a206ec4..293a2cd0e9 100644
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -80,7 +80,7 @@ class StateEvent : public PajeEvent {
 public:
   static xbt::signal<void(StateEvent&)> on_destruction;
   StateEvent(Container* container, Type* type, e_event_type event_type, EntityValue* value, TIData* extra);
-  ~StateEvent() { on_destruction(*this); }
+  ~StateEvent() override { on_destruction(*this); }
   bool has_extra() const { return extra_ != nullptr; }
   void print() override;
 };