From 59edb81f86e8c830e8a213fa7e1bf6eb7d0c3966 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <5377127+levnach@users.noreply.github.com>
Date: Sat, 5 Apr 2025 10:25:39 -0700
Subject: [PATCH] Update lp_settings.cpp

white space change
---
 src/math/lp/lp_settings.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/lp_settings.cpp b/src/math/lp/lp_settings.cpp
index 4df31abfc..42df22724 100644
--- a/src/math/lp/lp_settings.cpp
+++ b/src/math/lp/lp_settings.cpp
@@ -37,7 +37,8 @@ void lp::lp_settings::updt_params(params_ref const& _p) {
     m_dio_eqs = lp_p.dio_eqs();
     m_dio_enable_gomory_cuts = lp_p.dio_cuts_enable_gomory();
     m_dio_enable_hnf_cuts = lp_p.dio_cuts_enable_hnf();
-    m_dio_branching_period = lp_p.dio_branching_period();m_dump_bound_lemmas = p.arith_dump_bound_lemmas();
+    m_dio_branching_period = lp_p.dio_branching_period();
+    m_dump_bound_lemmas = p.arith_dump_bound_lemmas();
     m_dio_ignore_big_nums = lp_p.dio_ignore_big_nums();
     m_dio_calls_period = lp_p.dio_calls_period();
 }