projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 549fe66)
ClangFormat: Disable DerivePointerAlignment (#2842)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Feb 2019 22:46:04 +0000 (22:46 +0000)
committerGitHub <noreply@github.com>
Tue, 26 Feb 2019 22:46:04 +0000 (22:46 +0000)
The option `DerivePointerAlignment` tries to automatically determine the
pointer alignment used by the input. In our case, we would eventually
like the code base to be consistent throughtout, so this commit disables
that option.

.clang-format patch | blob | history

diff --git a/.clang-format b/.clang-format
index cf788cb6b7ebd23c0313c5d7ec9c2df6280f56a3..01c8eeb25aa221c1c73e59845a8846c6fa1d078c 100644 (file)
--- a/.clang-format
+++ b/.clang-format
@@ -15,5 +15,5 @@ BraceWrapping:
   BeforeCatch: true
   BeforeElse: true
 BreakBeforeBraces: Custom
+DerivePointerAlignment: false
 ...
-