From e1cb1bc3267da46b84ec78d93cb8d55e50428eeb Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 6 Mar 2025 14:20:44 -1000
Subject: [PATCH] formatting

---
 src/math/lp/dioph_eq.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 16a377274..e63388bf5 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -1902,7 +1902,9 @@ namespace lp {
             lia_move r;
             do {
                 r = rewrite_eqs(f_vector);
-                if (lra.settings().get_cancel_flag()) return lia_move::undef;
+                if (lra.settings().get_cancel_flag()) {
+                    return lia_move::undef;
+                }
                 if (r == lia_move::conflict || r == lia_move::undef) {
                     break;
                 }
@@ -1913,7 +1915,8 @@ namespace lp {
             if (r == lia_move::conflict) {
                 if (m_conflict_index != UINT_MAX) {
                     lra.stats().m_dio_rewrite_conflicts++;
-                } else {
+                } 
+                else {
                     lra.stats().m_dio_bound_propagation_conflicts++;
                 }
                 return lia_move::conflict;