From c8187886cf870490004d0e9228eff90b1275e8cd Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 24 May 2018 11:18:32 -0700
Subject: [PATCH] spacer: use same params for all solver pools

---
 src/muz/spacer/spacer_context.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp
index b1ab0082a..c63bb3002 100644
--- a/src/muz/spacer/spacer_context.cpp
+++ b/src/muz/spacer/spacer_context.cpp
@@ -2340,6 +2340,8 @@ void context::init_global_smt_params() {
 
     m_pm.updt_params(p);
 }
+    m_pm.updt_params2(p);
+    m_pm.updt_params3(p);
 void context::init_lemma_generalizers()
 {
     reset_lemma_generalizers();