use format from unit_prop_on_monomials branch

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 24, 2023 · db097ba · db097ba
1 parent 61319ff
commit db097ba
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/math/lp/.clang-format b/src/math/lp/.clang-format
@@ -1,4 +1,5 @@
 BasedOnStyle: Google
 IndentWidth: 4
 ColumnLimit: 0
-NamespaceIndentation: All
+NamespaceIndentation: All
+BreakBeforeBraces: Stroustrup