instr: kill an unused structure field to please clang

diff --git a/src/instr/instr_private.h b/src/instr/instr_private.h
index 81be1f4..d4da8fa 100644 (file)
--- 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;
 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;
   public:
   PopStateEvent (double timestamp, container_t container, type_t type);
   void print() override;