Clang-format: Add more files

usi-verification-and-security · Jul 22, 2023 · ef9673f · ef9673f
1 parent 7aa4274
commit ef9673f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.clang-files b/.clang-files
@@ -10,3 +10,5 @@ src/engine/Common.h
 
 src/transformers/SingleLoopTransformation.cc
 src/transformers/SingleLoopTransformation.h
+src/transformers/MultiEdgeMerger.cc
+src/transformers/MultiEdgeMerger.h
diff --git a/src/transformers/MultiEdgeMerger.h b/src/transformers/MultiEdgeMerger.h
@@ -24,11 +24,10 @@ class MultiEdgeMerger : public Transformer {
 
         using MergedEdges = ChcDirectedHyperGraph::MergedEdges;
 
-        MergedEdges mergedEdges {};
+        MergedEdges mergedEdges{};
         Logic & logic;
         NonlinearCanonicalPredicateRepresentation predicateRepresentation;
     };
 };
 
-
-#endif //GOLEM_MULTIEDGEMERGER_H
+#endif // GOLEM_MULTIEDGEMERGER_H