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 b9e4a14..b158f63 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;
-  int size;
   const char* filename;
   int linenumber;
   void* extra_;