From 9b420688683379e3d5d0d3bb2f06edd249833eeb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 9 May 2024 18:50:42 -0700 Subject: [PATCH] reorder initialization Signed-off-by: Nikolaj Bjorner --- src/nlsat/nlsat_solver.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp index 725860271..32beb0c5c 100644 --- a/src/nlsat/nlsat_solver.cpp +++ b/src/nlsat/nlsat_solver.cpp @@ -1731,7 +1731,7 @@ namespace nlsat { apply_reorder(); if (!m_incremental && m_inline_vars) { - if (!simplify()) + if (!m_simplify()) return l_false; } IF_VERBOSE(3, verbose_stream() << "search\n"); @@ -2791,9 +2791,6 @@ namespace nlsat { */ - bool simplify() { - return m_simplify(); - } // Eliminated variables are tracked in m_bounds. // Each element in m_bounds tracks the eliminated variable and an upper or lower bound