From 598f364de0a809747714294326a0193788e0bdfb 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

---
 proofsearch/src/core/clause_store.cc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'proofsearch/src/core/clause_store.cc')

diff --git a/proofsearch/src/core/clause_store.cc b/proofsearch/src/core/clause_store.cc
index 75959c3..f8ee73d 100644
--- a/proofsearch/src/core/clause_store.cc
+++ b/proofsearch/src/core/clause_store.cc
@@ -18,14 +18,19 @@
 
 #include "atp/core/clause_store.h"
 
+#include "atp/core/clause.h"
+#include "atp/core/types.h"
+
 #include <cassert>
+#include <cstddef>
+#include <functional>
 #include <utility>
 
 namespace atp {
 
 ClauseId ClauseStore::addClause(Clause clause) {
     auto new_id = static_cast<ClauseId>(clauses_.size());
-    clause.id = new_id;
+    clause.id_ = new_id;
     clauses_.push_back(std::move(clause));
     return new_id;
 }
-- 
cgit v1.2.3