From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Tue, 10 Oct 2017 16:47:21 +0000 (+0200)
Subject: this field is useless indeed. Good catch CI
X-Git-Tag: v3.18~501
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9c175e94f648203d491634a64f4f31ac83a2e475

this field is useless indeed. Good catch CI
(BTW it was useless but public before ;))
---

diff --git a/src/instr/instr_private.hpp b/src/instr/instr_private.hpp
index b9e4a14aea..b158f63d2d 100644
--- a/src/instr/instr_private.hpp
+++ b/src/instr/instr_private.hpp
@@ -179,7 +179,6 @@ public:
 
 class PushStateEvent : public PajeEvent {
   Value* value;
-  int size;
   const char* filename;
   int linenumber;
   void* extra_;