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 b9e4a14aeae2ad66a972ed7ab6df9fff7d2ab1e2..b158f63d2d60c0d9dbaf082b954795e875ec5419 100644 (file)
--- a/src/instr/instr_private.hpp
+++ b/src/instr/instr_private.hpp
@@ -179,7 +179,6 @@ public:
 
 class PushStateEvent : public PajeEvent {
   Value* value;
 
 class PushStateEvent : public PajeEvent {
   Value* value;

-  int size;

   const char* filename;
   int linenumber;
   void* extra_;
   const char* filename;
   int linenumber;
   void* extra_;