From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Tue, 26 Feb 2019 22:46:04 +0000 (+0000)
Subject: ClangFormat: Disable DerivePointerAlignment (#2842)
X-Git-Tag: cvc5-1.0.0~4258
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=879a5f6b5e0c259571e7dbe0d7633a19e982148d;p=cvc5.git

ClangFormat: Disable DerivePointerAlignment (#2842)

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.
---

diff --git a/.clang-format b/.clang-format
index cf788cb6b..01c8eeb25 100644
--- a/.clang-format
+++ b/.clang-format
@@ -15,5 +15,5 @@ BraceWrapping:
   BeforeCatch: true
   BeforeElse: true
 BreakBeforeBraces: Custom
+DerivePointerAlignment: false
 ...
-