From dafdb9ad4bd81fa00d09a4a44ee70020e4280833 Mon Sep 17 00:00:00 2001
From: Dmitry Vlasov <vlasov.dmitry.1976@gmail.com>
Date: Fri, 13 Dec 2024 22:02:42 +0100
Subject: [PATCH] runtime/proof_trace_writer.h (#1189)

- set of inner `proof_trace_callback_writer` structs are made
`protected` instead of `private`
- `kore_configuration_construction` struct stores `block*` instead of a
raw pointer `void*`

Co-authored-by: Theodoros Kasampalis <kasampalis.theodoros@gmail.com>
---
 include/runtime/proof_trace_writer.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/include/runtime/proof_trace_writer.h b/include/runtime/proof_trace_writer.h
index 4669f186d..810d54cdd 100644
--- a/include/runtime/proof_trace_writer.h
+++ b/include/runtime/proof_trace_writer.h
@@ -194,7 +194,7 @@ class proof_trace_file_writer : public proof_trace_writer {
 };
 
 class proof_trace_callback_writer : public proof_trace_writer {
-private:
+protected:
   struct kore_term_construction {
     void *subject;
     uint64_t block_header;
@@ -212,9 +212,9 @@ class proof_trace_callback_writer : public proof_trace_writer {
   };
 
   struct kore_configuration_construction {
-    void *subject;
+    block *subject;
 
-    kore_configuration_construction(void *subject)
+    kore_configuration_construction(block *subject)
         : subject(subject) { }
   };
 
@@ -279,6 +279,7 @@ class proof_trace_callback_writer : public proof_trace_writer {
     }
   };
 
+private:
   std::optional<call_event_construction> current_call_event_;
 
   std::optional<rewrite_event_construction> current_rewrite_event_{