From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 3 Dec 2019 18:24:20 +0000 (-0800)
Subject: Fix clang-format file for brace wrapping with case labels. (#3523)
X-Git-Tag: cvc5-1.0.0~3805
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9693864abd9652fce905abaccb824dcff7d5d485;p=cvc5.git

Fix clang-format file for brace wrapping with case labels. (#3523)

More recent clang version introduce an extra flag AfterCaseLabel for brace wrapping after case labels. Default is false, with the effect opening braces after case labels will be aligned on the same line as the label. Our style requires it to be set to true.
---

diff --git a/.clang-format b/.clang-format
index 23e537b33..a4e83f330 100644
--- a/.clang-format
+++ b/.clang-format
@@ -6,6 +6,7 @@ BinPackArguments: false
 BinPackParameters: false
 BreakBeforeBinaryOperators: NonAssignment
 BraceWrapping:
+  AfterCaseLabel: true
   AfterClass: true
   AfterControlStatement: true
   AfterEnum: true