From c274830f7472317a7f2bcd3438a63824bd404efb Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 2 Apr 2019 14:37:37 +0200
Subject: [PATCH] Make extra_ an unique_ptr.

---
 src/instr/instr_paje_events.cpp | 4 ----
 src/instr/instr_paje_events.hpp | 3 +--
 2 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/instr/instr_paje_events.cpp b/src/instr/instr_paje_events.cpp
index ed016d8cab..c30b301084 100644
--- 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 d57c64446a..d1004b16eb 100644
--- 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;
 };
 
-- 
2.20.1