From fd343237d2bd29e0461ff12148aae3a968d9a051 Mon Sep 17 00:00:00 2001 From: hgvk94 Date: Fri, 3 Mar 2023 12:08:36 -0500 Subject: [PATCH] bug fix. Prevent resetting gg stats #6062 --- src/muz/spacer/spacer_context.cpp | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp index 4c5c13e3428..38b1c714981 100644 --- a/src/muz/spacer/spacer_context.cpp +++ b/src/muz/spacer/spacer_context.cpp @@ -114,18 +114,10 @@ void pob::inherit(pob const &p) { m_desired_level = std::max(m_desired_level, p.m_desired_level); m_open = p.m_open; m_use_farkas = p.m_use_farkas; - - m_is_conjecture = p.m_is_conjecture; - m_enable_local_gen = p.m_enable_local_gen; - m_enable_concretize = p.m_enable_concretize; - m_is_subsume = p.m_is_subsume; - m_enable_expand_bnd_gen = p.m_enable_expand_bnd_gen; - m_weakness = p.m_weakness; m_derivation = nullptr; - m_gas = p.m_gas; } void pob::close () {