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

---
 src/simplify/tautology.cc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/simplify/tautology.cc')

diff --git a/src/simplify/tautology.cc b/src/simplify/tautology.cc
index 70bdced..e35d874 100644
--- a/src/simplify/tautology.cc
+++ b/src/simplify/tautology.cc
@@ -18,14 +18,16 @@
 
 #include "atp/simplify/tautology.h"
 
+#include "atp/core/clause.h"
+
 #include <cstddef>
 
 namespace atp {
 bool isTautology(const Clause& clause) {
     for (size_t i = 0; i < clause.size(); ++i) {
         for (size_t j = i + 1; j < clause.size(); ++j) {
-            if (clause.literals[i].atom == clause.literals[j].atom &&
-                clause.literals[i].is_positive != clause.literals[j].is_positive) {
+            if (clause.literals_[i].atom_ == clause.literals_[j].atom_ &&
+                clause.literals_[i].is_positive_ != clause.literals_[j].is_positive_) {
                 return true;
             }
         }
-- 
cgit v1.2.3