twitching and tweaking

[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 ebdad78..768ac59 100644 (file)
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -44,7 +44,7 @@ public:
   e_event_type eventType_;
   PajeEvent(Container* container, Type* type, double timestamp, e_event_type eventType)
       : container(container), type(type), timestamp_(timestamp), eventType_(eventType){};
-  virtual ~PajeEvent();
+  virtual ~PajeEvent() = default;
   virtual void print() = 0;
   void insertIntoBuffer();
 };