From db097bae0556c3cf40918ad15588d09d46f010b4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Sep 2023 17:24:46 -0700
Subject: [PATCH] use format from unit_prop_on_monomials branch

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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