refactor: rename struct members to follow trailing underscore naming convention across core, search, and frontend components

1 files changed, 6 insertions, 1 deletions

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;
 }