From 4d742001ab4d871e2929224d4f7649bd20d20667 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Sep 2023 14:36:21 -0700
Subject: [PATCH] formatting of else

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_lra.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index fa73788e6..9357b7a65 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -2176,7 +2176,8 @@ public:
         if (is_infeasible()) {
             get_infeasibility_explanation_and_set_conflict();
             // verbose_stream() << "unsat\n";
-        } else {
+        }
+        else {
             for (auto &ib : m_bp.ibounds()) {
                 m.inc();
                 if (ctx().inconsistent())