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/infer/resolution.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/infer/resolution.cc')

diff --git a/src/infer/resolution.cc b/src/infer/resolution.cc
index 82e59b7..5fb0d4a 100644
--- a/src/infer/resolution.cc
+++ b/src/infer/resolution.cc
@@ -98,7 +98,7 @@ std::optional<Clause> resolve(TermBank& bank, const Clause& c1, size_t lit_idx1,
     // Rename c2's variables to avoid clashes with c1
     // Use a static counter — safe for single-threaded prover
     static uint32_t var_counter = 0;
-    auto& symbols = const_cast<SymbolTable&>(bank.symbols());
+    auto& symbols = bank.mutableSymbols();
     Clause c2r = renameVariables(c2, bank, symbols, var_counter);
 
     // Unify the complementary atoms
-- 
cgit v1.2.3