From 41a4dcf90c8360b5cf8d5d2c396f2efaee0880da Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 30 Jan 2020 10:10:15 -0800
Subject: [PATCH] do not increment m_number_of_calls twice in check()

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

diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp
index 12fe9f917..1a95fe55e 100644
--- a/src/math/lp/int_solver.cpp
+++ b/src/math/lp/int_solver.cpp
@@ -428,7 +428,6 @@ lia_move int_solver::check(lp::explanation * e) {
         m_lar_solver->pivot_fixed_vars_from_basis();
 
     CHECK_RET(patch_nbasic_columns());
-    ++m_number_of_calls;
     CHECK_RET(find_cube());        
     CHECK_RET(hnf_cut());    
     CHECK_RET(gomory_cut());