Eliminating static calls to rewriter from strings (#7302)

[cvc5.git] / .clang-format

diff --git a/.clang-format b/.clang-format
index a4e83f330308469868e993dfbddd3791777551ee..fc35b4e00679a2119b352390541b834d6289ffd3 100644 (file)
--- a/.clang-format
+++ b/.clang-format
@@ -20,8 +20,20 @@ DerivePointerAlignment: false
 ---
 Language: Java
 BasedOnStyle:  Google
-ColumnLimit: 80
+AllowShortCaseLabelsOnASingleLine: true
 BinPackArguments: false
 BinPackParameters: false
 BreakBeforeBinaryOperators: NonAssignment
+BraceWrapping:
+  AfterCaseLabel: true
+  AfterClass: true
+  AfterControlStatement: true
+  AfterEnum: true
+  AfterFunction: true
+  AfterStruct: true
+  AfterUnion: true
+  BeforeCatch: true
+  BeforeElse: true
+BreakBeforeBraces: Custom
+DerivePointerAlignment: false
 ...