From 5ab3efd522cf0221481684b5bbc9c2ac6bfc9919 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Tue, 7 Apr 2026 03:59:58 +0800
Subject: refactor: rename struct members to follow trailing underscore naming
 convention across core, search, and frontend components

---
 include/atp/proof/proof_trace.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'include/atp/proof')

diff --git a/include/atp/proof/proof_trace.h b/include/atp/proof/proof_trace.h
index 28099fe..4ea7aa1 100644
--- a/include/atp/proof/proof_trace.h
+++ b/include/atp/proof/proof_trace.h
@@ -32,10 +32,10 @@ namespace atp {
 
 /// A single step in a reconstructed proof.
 struct ProofStep {
-    ClauseId clause_id;
-    InferenceRule rule;
-    ClauseId parent1;
-    ClauseId parent2;
+    ClauseId clause_id_;
+    InferenceRule rule_;
+    ClauseId parent1_;
+    ClauseId parent2_;
 };
 
 /// Reconstruct the proof trace from the empty clause.
-- 
cgit v1.2.3