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/index/discrim_tree.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'include/atp/index')

diff --git a/include/atp/index/discrim_tree.h b/include/atp/index/discrim_tree.h
index c5954d7..5f8a206 100644
--- a/include/atp/index/discrim_tree.h
+++ b/include/atp/index/discrim_tree.h
@@ -37,8 +37,8 @@ namespace atp {
 
 /// A match result from the discrimination tree.
 struct IndexMatch {
-    ClauseId clause_id;
-    size_t lit_index;
+    ClauseId clause_id_;
+    size_t lit_index_;
 };
 
 /// A discrimination tree index over terms.
-- 
cgit v1.2.3