From 593a94a3c13aff82b31fd6c61e0ae07b97a2e426 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Sat, 4 Apr 2026 05:21:26 +0800
Subject: style: reformat codebase with consistent indentation

---
 proofsearch/include/atp/core/term.h | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'proofsearch/include/atp/core/term.h')

diff --git a/proofsearch/include/atp/core/term.h b/proofsearch/include/atp/core/term.h
index 017882a..2be01e7 100644
--- a/proofsearch/include/atp/core/term.h
+++ b/proofsearch/include/atp/core/term.h
@@ -24,22 +24,20 @@
 /// V1 uses vector<TermId> for args.
 /// Future: flat arena with contiguous arg storage for cache locality.
 
-#include <vector>
-
 #include "atp/core/types.h"
 
+#include <vector>
+
 namespace atp {
 
 /// A term is a function/predicate application: f(t1, t2, ..., tn).
 /// Variables are 0-arity terms whose symbol has SymbolKind::kVariable.
 struct Term {
-    SymbolId symbol_id;          ///< Index into the SymbolTable
-    std::vector<TermId> args;    ///< Argument sub-term IDs
+    SymbolId symbol_id;        ///< Index into the SymbolTable
+    std::vector<TermId> args;  ///< Argument sub-term IDs
 
     /// Number of arguments.
-    [[nodiscard]] uint16_t arity() const {
-        return static_cast<uint16_t>(args.size());
-    }
+    [[nodiscard]] uint16_t arity() const { return static_cast<uint16_t>(args.size()); }
 };
 
 }  // namespace atp
-- 
cgit v1.2.3