Make extra_ an unique_ptr.

diff --git a/src/instr/instr_paje_events.cpp b/src/instr/instr_paje_events.cpp
index ed016d8..c30b301 100644 (file)
--- a/src/instr/instr_paje_events.cpp
+++ b/src/instr/instr_paje_events.cpp
@@ -83,10 +83,6 @@ void VariableEvent::print()
   tracing_file << stream_.str() << std::endl;
 }
 
-StateEvent::~StateEvent(){
-  delete extra_;
-}
-
 void StateEvent::print()
 {
   if (trace_format == simgrid::instr::TraceFormat::Paje) {

diff --git a/src/instr/instr_paje_events.hpp b/src/instr/instr_paje_events.hpp
index d57c644..d1004b1 100644 (file)
--- a/src/instr/instr_paje_events.hpp
+++ b/src/instr/instr_paje_events.hpp
@@ -70,11 +70,10 @@ class StateEvent : public PajeEvent {
   std::string filename = "(null)";
   int linenumber       = -1;
 #endif
-  TIData* extra_;
+  std::unique_ptr<TIData> extra_;
 
 public:
   StateEvent(Container* container, Type* type, e_event_type event_type, EntityValue* value, TIData* extra);
-  ~StateEvent();
   void print() override;
 };