From a26a9311ed6cc34860092252d1750428b741b116 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Wed, 8 Apr 2026 03:23:16 +0800 Subject: feat: enhance clang-tidy configuration and improve code quality across multiple files --- proofsearch/src/core/term_bank.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proofsearch/src/core') diff --git a/proofsearch/src/core/term_bank.cc b/proofsearch/src/core/term_bank.cc index 2e117b3..0dc166f 100644 --- a/proofsearch/src/core/term_bank.cc +++ b/proofsearch/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