From 919946b56703023c1811e36124c2a089423f5fce Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 17 Dec 2019 22:02:19 -0800 Subject: [PATCH] revert the last commit with freeing the memory Signed-off-by: Lev Nachmanson --- src/math/lp/nla_grobner.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp index 9f92c9910..488e94eef 100644 --- a/src/math/lp/nla_grobner.cpp +++ b/src/math/lp/nla_grobner.cpp @@ -220,24 +220,18 @@ bool grobner_core::compute_basis_step() { return true; } m_stats.m_compute_steps++; - unsigned mem_size = m_nex_creator.size(); simplify_eq_by_using_to_superpose(*eq); if (equation_is_too_complex(eq)) { - m_nex_creator.pop(mem_size); return false; } - mem_size = m_nex_creator.size(); if (!simplify_to_superpose_with_eq(eq)) { - m_nex_creator.pop(mem_size); return false; } TRACE("grobner", tout << "eq = "; display_equation(tout, *eq);); - mem_size = m_nex_creator.size(); superpose(eq); if (equation_is_too_complex(eq)) { TRACE("grobner", display_equation(tout, *eq) << " is too complex: deleting it\n;";); del_equation(eq); - m_nex_creator.pop(mem_size); return false; } insert_to_superpose(eq);