From 2d2443658287c54cdad4dd712839ed0d1c2dc467 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 11 Jan 2024 13:42:35 -1000
Subject: [PATCH] remove a blank line

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/gomory.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp
index bd0283888..b1ac51d4d 100644
--- a/src/math/lp/gomory.cpp
+++ b/src/math/lp/gomory.cpp
@@ -441,7 +441,6 @@ public:
             else if (cc.m_polarity == -1)
                 lra.update_column_type_and_bound(j, lp::lconstraint_kind::GE, ceil(lra.get_column_value(j).x), cc.m_dep);
             
-
             cut_result cr = {cc.m_dep, lia.m_t, lia.m_k, cc.m_polarity, j};
             if (!is_small_cut(lia.m_t)) {
                 big_cuts.push_back(cr);