Don't lookup twice.

[simgrid.git] / src / instr / instr_paje_events.hpp

diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp
index 744ada9b4e8cd9756889ebb8c82f46b127033474..293a2cd0e90712caf3301c3644ac1051dca77222 100644 (file)
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -80,8 +80,8 @@ 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); }
-  bool has_extra() { return extra_ != nullptr; }
+  ~StateEvent() override { on_destruction(*this); }
+  bool has_extra() const { return extra_ != nullptr; }
   void print() override;
 };