From bf4f464cec8b6515d9e5131d43847ef9b2fd21d1 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

---
 tests/test_end_to_end.cc | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'tests/test_end_to_end.cc')

diff --git a/tests/test_end_to_end.cc b/tests/test_end_to_end.cc
index 44a44c2..d45a101 100644
--- a/tests/test_end_to_end.cc
+++ b/tests/test_end_to_end.cc
@@ -19,8 +19,6 @@
 /// @file test_end_to_end.cc
 /// @brief End-to-end tests: TPTP string → parse → prove → verify result.
 
-#include <gtest/gtest.h>
-
 #include "atp/core/clause_store.h"
 #include "atp/core/symbol_table.h"
 #include "atp/core/term_bank.h"
@@ -28,6 +26,7 @@
 #include "atp/proof/proof_trace.h"
 #include "atp/search/prover.h"
 
+#include <gtest/gtest.h>
 #include <string>
 
 namespace atp {
@@ -175,9 +174,9 @@ TEST(EndToEnd, MonkeyBanana) {
         cnf(negated_goal, negated_conjecture, ~goal_reached(S)).
     )");
 
-    EXPECT_EQ(result, ProverResult::kTheorem)
-        << "ATP should prove the monkey can get the banana!\n"
-        << "Proof output:\n" << proof;
+    EXPECT_EQ(result, ProverResult::kTheorem) << "ATP should prove the monkey can get the banana!\n"
+                                              << "Proof output:\n"
+                                              << proof;
 }
 
 }  // namespace
-- 
cgit v1.2.3