style: reformat codebase with consistent indentation

1 files changed, 15 insertions, 16 deletions

diff --git a/proofsearch/src/simplify/subsumption.cc b/proofsearch/src/simplify/subsumption.cc
index cf243c9..3756d82 100644
--- a/proofsearch/src/simplify/subsumption.cc
+++ b/proofsearch/src/simplify/subsumption.cc
@@ -18,25 +18,24 @@
 
 #include "atp/simplify/subsumption.h"
 
-
 namespace atp {
 
-    bool subsumes(const Clause& general, const Clause& specific) {
-        if (general.size() > specific.size()) {
-            return false;
-        }
-        for (const auto& lit_g : general.literals) {
-            bool found = false;
-            for (const auto& lit_s : specific.literals) {
-                if (lit_g.atom == lit_s.atom && lit_g.is_positive == lit_s.is_positive) {
-                    found = true;
-                    break;
-                }
-            }
-            if (!found) {
-                return false;
+bool subsumes(const Clause& general, const Clause& specific) {
+    if (general.size() > specific.size()) {
+        return false;
+    }
+    for (const auto& lit_g : general.literals) {
+        bool found = false;
+        for (const auto& lit_s : specific.literals) {
+            if (lit_g.atom == lit_s.atom && lit_g.is_positive == lit_s.is_positive) {
+                found = true;
+                break;
             }
         }
-        return true;
+        if (!found) {
+            return false;
+        }
     }
+    return true;
 }
+}  // namespace atp