From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 24 Oct 2017 20:46:05 +0000 (-0700)
Subject: Remove clang-format options introduced in version 5.0.
X-Git-Tag: cvc5-1.0.0~5540
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=19c44a4b233a665ae6512fca17be019be3f1e68a;p=cvc5.git

Remove clang-format options introduced in version 5.0.
---

diff --git a/.clang-format b/.clang-format
index 485d65f21..cf788cb6b 100644
--- a/.clang-format
+++ b/.clang-format
@@ -14,9 +14,6 @@ BraceWrapping:
   AfterUnion: true
   BeforeCatch: true
   BeforeElse: true
-  SplitEmptyFunction: false
-  SplitEmptyNamespace: false
-  SplitEmptyRecord: false
 BreakBeforeBraces: Custom
 ...