From 31a3d01ef27c559bf7ff453ca60033478ac19ef8 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Thu, 2 Apr 2026 15:23:43 +0800
Subject: refactor: replace string-based formula representation with interned
 SymbolIds and introduce stateful Clausifier for TPTP parsing

---
 include/atp/core/literal.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include/atp/core/literal.h')

diff --git a/include/atp/core/literal.h b/include/atp/core/literal.h
index 1b4f65c..a3192a9 100644
--- a/include/atp/core/literal.h
+++ b/include/atp/core/literal.h
@@ -32,7 +32,7 @@ struct Literal {
     bool is_positive;    ///< true = positive, false = negated
 
     /// Complement: flip polarity, same atom.
-    [[nodiscard]] Literal complement() const { return {atom, !is_positive}; }
+    [[nodiscard]] Literal complement() const { return {.atom = atom, .is_positive = !is_positive}; }
 
     bool operator==(const Literal& other) const = default;
 };
-- 
cgit v1.2.3