From 8a0225ea633d9d3b665d709037dd5b9619d15ed7 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Wed, 25 Apr 2018 17:23:19 +0200
Subject: [PATCH] allow to have TI data for popEvent

---
 src/instr/instr_paje_types.cpp | 5 +++++
 src/instr/instr_paje_types.hpp | 1 +
 2 files changed, 6 insertions(+)

diff --git a/src/instr/instr_paje_types.cpp b/src/instr/instr_paje_types.cpp
index c77cef2e29..75049077f6 100644
--- a/src/instr/instr_paje_types.cpp
+++ b/src/instr/instr_paje_types.cpp
@@ -80,6 +80,11 @@ void StateType::popEvent()
   events_.push_back(new StateEvent(issuer_, this, PAJE_PopState, nullptr, nullptr));
 }
 
+void StateType::popEvent(TIData* extra)
+{
+  events_.push_back(new StateEvent(issuer_, this, PAJE_PopState, nullptr, extra));
+}
+
 VariableType::VariableType(std::string name, std::string color, Type* father) : Type(name, name, color, father)
 {
   XBT_DEBUG("VariableType %s(%lld), child of %s(%lld)", get_cname(), get_id(), father->get_cname(), father->get_id());
diff --git a/src/instr/instr_paje_types.hpp b/src/instr/instr_paje_types.hpp
index 696bfdaca7..71a08d38cd 100644
--- a/src/instr/instr_paje_types.hpp
+++ b/src/instr/instr_paje_types.hpp
@@ -95,6 +95,7 @@ public:
   void pushEvent(std::string value_name);
   void pushEvent(std::string value_name, TIData* extra);
   void popEvent();
+  void popEvent(TIData* extra);
 };
 }
 }
-- 
2.20.1