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 () {