projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use standard conflict mechanism in quantifiers state (#5822)
[cvc5.git]
/
.clang-format
diff --git
a/.clang-format
b/.clang-format
index 23e537b33934ed62673396a1bc0bf7494b7436d7..a4e83f330308469868e993dfbddd3791777551ee 100644
(file)
--- 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