From db097bae0556c3cf40918ad15588d09d46f010b4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Sep 2023 17:24:46 -0700 Subject: [PATCH] use format from unit_prop_on_monomials branch Signed-off-by: Nikolaj Bjorner --- src/math/lp/.clang-format | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/math/lp/.clang-format b/src/math/lp/.clang-format index f5c8a41b2..d7f8d6171 100644 --- a/src/math/lp/.clang-format +++ b/src/math/lp/.clang-format @@ -1,4 +1,5 @@ BasedOnStyle: Google IndentWidth: 4 ColumnLimit: 0 -NamespaceIndentation: All \ No newline at end of file +NamespaceIndentation: All +BreakBeforeBraces: Stroustrup \ No newline at end of file