From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 21 May 2017 15:32:51 +0000 (+0200)
Subject: instr: kill an unused structure field to please clang
X-Git-Tag: v3.16~279
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bf9e3674215d469c97cca6ea5f55467434124dc7?ds=sidebyside

instr: kill an unused structure field to please clang
---

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index 81be1f4f61..d4da8faf72 100644
--- a/src/instr/instr_private.h
+++ b/src/instr/instr_private.h
@@ -255,7 +255,6 @@ class PushStateEvent : public PajeEvent  {
 class PopStateEvent : public PajeEvent  {
   container_t container;
   type_t type;
-  xbt_dynar_t extra;
   public:
   PopStateEvent (double timestamp, container_t container, type_t type);
   void print() override;