From 119a491b17709492f978f27178e3e5605311b121 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 25 Mar 2020 15:26:23 -0700 Subject: [PATCH] tracking stats for max columns in theore_arith_core.h Signed-off-by: Lev Nachmanson --- src/smt/theory_arith_core.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_arith_core.h b/src/smt/theory_arith_core.h index 63cdc4f22..9c507eed0 100644 --- a/src/smt/theory_arith_core.h +++ b/src/smt/theory_arith_core.h @@ -258,7 +258,7 @@ namespace smt { c_entry.m_row_id = r_id; c_entry.m_row_idx = r_idx; - m_stats.m_tableau_max_columns = std::max(m_stats.m_tableau_max_columns, (unsigned)c_idx + 1); + m_stats.m_tableau_max_columns = std::max(m_stats.m_tableau_max_columns, (unsigned)v + 1); } /**