From 4b31d8f59a6d3237f176a122c82f46fdaef4551d Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Wed, 8 Apr 2026 03:23:16 +0800
Subject: feat: enhance clang-tidy configuration and improve code quality
 across multiple files

---
 src/core/term_bank.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/core/term_bank.cc')

diff --git a/src/core/term_bank.cc b/src/core/term_bank.cc
index 2e117b3..0dc166f 100644
--- a/src/core/term_bank.cc
+++ b/src/core/term_bank.cc
@@ -53,7 +53,7 @@ const Term& TermBank::getTerm(TermId id) const {
 
 bool TermBank::isVariable(TermId id) const {
     assert(id < terms_.size() && "TermId out of bounds!");
-    return symbols_.isVariable(terms_[id].symbol_id_);
+    return symbols_->isVariable(terms_[id].symbol_id_);
 }
 
 size_t TermBank::size() const {
-- 
cgit v1.2.3