projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d47530b) | patch
Fix clang-format file for brace wrapping with case labels. (#3523)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 3 Dec 2019 18:24:20 +0000 (10:24 -0800)
committerGitHub <noreply@github.com>
Tue, 3 Dec 2019 18:24:20 +0000 (10:24 -0800)
commit9693864abd9652fce905abaccb824dcff7d5d485
treeb4767a069e02dcdae88a7bfe42d1d49240a9b97ctree
parentd47530bd5924286781325cf2db3477e83a3c6d4fcommit | diff
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.
.clang-format diff | blob | history