From 90f14ec0b3a445b12153decfe593bb7fc2657753 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 21 Jan 2020 10:59:06 -0800 Subject: [PATCH] rebase with Z3Prover/master Signed-off-by: Lev Nachmanson --- src/math/lp/int_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index 774648b99..836f18f35 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -285,7 +285,7 @@ lia_move int_solver::run_gcd_test() { settings().stats().m_gcd_calls++; TRACE("int_solver", tout << "gcd-test " << settings().stats().m_gcd_calls << "\n";); if (!gcd_test()) { - settings().st().m_gcd_conflicts++; + settings().stats().m_gcd_conflicts++; TRACE("gcd_test", tout << "gcd conflict\n";); return lia_move::conflict; }