From 9b5996fcd53980ad19398b01362d9fa4a31e41c4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 6 Sep 2018 17:13:30 -0700
Subject: [PATCH] clear lemma in int_solver before the first push_back

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

diff --git a/src/util/lp/int_solver.cpp b/src/util/lp/int_solver.cpp
index 907566c57..432fcd016 100644
--- a/src/util/lp/int_solver.cpp
+++ b/src/util/lp/int_solver.cpp
@@ -134,7 +134,6 @@ bool int_solver::current_solution_is_inf_on_cut() const {
 
 lia_move int_solver::mk_gomory_cut( unsigned inf_col, const row_strip<mpq> & row) {
     lp_assert(column_is_int_inf(inf_col));
-
     gomory gc(m_t, m_k, m_ex, inf_col, row, *this);
     return gc.create_cut();
 }