mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-21 13:23:39 +00:00
Code Activity

remove a blank line

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2024-01-11 13:42:35 -10:00
parent 2b974a0f1d
commit 2d24436582
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/gomory.cpp
View file

@ -441,7 +441,6 @@ public:
else if (cc.m_polarity == -1) 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); 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}; cut_result cr = {cc.m_dep, lia.m_t, lia.m_k, cc.m_polarity, j};
if (!is_small_cut(lia.m_t)) { if (!is_small_cut(lia.m_t)) {
big_cuts.push_back(cr); big_cuts.push_back(cr);