runtime/proof_trace_writer.h

clang-format is applied.
runtimeverification · Dec 12, 2024 · a5d37d5 · a5d37d5
1 parent c32d841
commit a5d37d5
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/include/runtime/proof_trace_writer.h b/include/runtime/proof_trace_writer.h
@@ -269,14 +269,12 @@ class proof_trace_callback_writer : public proof_trace_writer {
       std::nullopt};
 
   virtual void proof_trace_header_callback(uint32_t version) { }
-  virtual void
-  hook_event_callback(call_event_construction const &event) { }
-  virtual void
-  rewrite_event_callback(rewrite_event_construction const &event) { }
+  virtual void hook_event_callback(call_event_construction const &event) { }
+  virtual void rewrite_event_callback(rewrite_event_construction const &event) {
+  }
   virtual void
   configuration_term_event_callback(kore_term_construction const &config) { }
-  virtual void
-  function_event_callback(call_event_construction const &event) { }
+  virtual void function_event_callback(call_event_construction const &event) { }
   virtual void
   side_condition_event_callback(rewrite_event_construction const &event) { }
   virtual void side_condition_result_callback(