diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-12-03 10:24:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-03 10:24:20 -0800 |
commit | 9693864abd9652fce905abaccb824dcff7d5d485 (patch) | |
tree | b4767a069e02dcdae88a7bfe42d1d49240a9b97c /src/theory/strings | |
parent | d47530bd5924286781325cf2db3477e83a3c6d4f (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.
Diffstat (limited to 'src/theory/strings')
0 files changed, 0 insertions, 0 deletions