bug fix. Prevent resetting gg stats #6062 (#6618)

Z3Prover · Mar 3, 2023 · 55d45e0 · 55d45e0
1 parent b82d177
commit 55d45e0
Showing 1 changed file with 0 additions and 8 deletions.
diff --git 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 () {