From 79f0ceac4ca103ab4eff77f4e991327a4b143c74 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 30 Dec 2021 19:13:23 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/tactic/bv/elim_small_bv_tactic.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tactic/bv/elim_small_bv_tactic.cpp b/src/tactic/bv/elim_small_bv_tactic.cpp index eef85ebba..12c756c6e 100644 --- a/src/tactic/bv/elim_small_bv_tactic.cpp +++ b/src/tactic/bv/elim_small_bv_tactic.cpp @@ -208,9 +208,9 @@ class elim_small_bv_tactic : public tactic { void updt_params(params_ref const & p) { m_params.append(p); - m_max_memory = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX)); - m_max_steps = p.get_uint("max_steps", UINT_MAX); - m_max_bits = p.get_uint("max_bits", 4); + m_max_memory = megabytes_to_bytes(m_params.get_uint("max_memory", UINT_MAX)); + m_max_steps = m_params.get_uint("max_steps", UINT_MAX); + m_max_bits = m_params.get_uint("max_bits", 4); } };