diff --git a/src/muz/spacer/spacer_manager.cpp b/src/muz/spacer/spacer_manager.cpp
index a281cac81..d55f74b90 100644
--- a/src/muz/spacer/spacer_manager.cpp
+++ b/src/muz/spacer/spacer_manager.cpp
@@ -179,13 +179,16 @@ static std::vector<std::string> state_suffixes() {
 manager::manager(unsigned max_num_contexts, ast_manager& manager) :
     m(manager), m_mux(m, state_suffixes()) {
 
-    m_pool0_base = mk_smt_solver(m, params_ref::get_empty(), symbol::null);
-    m_pool1_base = mk_smt_solver(m, params_ref::get_empty(), symbol::null);
-    m_pool2_base = mk_smt_solver(m, params_ref::get_empty(), symbol::null);
+    ref<solver> pool0_base =
+        mk_smt_solver(m, params_ref::get_empty(), symbol::null);
+    ref<solver> pool1_base =
+        mk_smt_solver(m, params_ref::get_empty(), symbol::null);
+    ref<solver> pool2_base =
+        mk_smt_solver(m, params_ref::get_empty(), symbol::null);
 
-    m_pool0 = alloc(solver_pool, m_pool0_base.get(), max_num_contexts);
-    m_pool1 = alloc(solver_pool, m_pool1_base.get(), max_num_contexts);
-    m_pool2 = alloc(solver_pool, m_pool2_base.get(), max_num_contexts);
+    m_pool0 = alloc(solver_pool, pool0_base.get(), max_num_contexts);
+    m_pool1 = alloc(solver_pool, pool1_base.get(), max_num_contexts);
+    m_pool2 = alloc(solver_pool, pool2_base.get(), max_num_contexts);
 }
 
 
diff --git a/src/muz/spacer/spacer_manager.h b/src/muz/spacer/spacer_manager.h
index 4c3d861cb..b8783369d 100644
--- a/src/muz/spacer/spacer_manager.h
+++ b/src/muz/spacer/spacer_manager.h
@@ -79,9 +79,6 @@ class manager {
     // manager of multiplexed names
     sym_mux               m_mux;
 
-    ref<solver> m_pool0_base;
-    ref<solver> m_pool1_base;
-    ref<solver> m_pool2_base;
     // three solver pools for different queries
     scoped_ptr<solver_pool> m_pool0;
     scoped_ptr<solver_pool> m_pool1;