From 80c39eb037c90ab905006aa3ee08cb967c098dfa Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 24 May 2018 21:53:01 -0700
Subject: [PATCH] Fix solver_pool::updt_params

---
 src/solver/solver_pool.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/solver/solver_pool.cpp b/src/solver/solver_pool.cpp
index 88838639e..0aee5c3dc 100644
--- a/src/solver/solver_pool.cpp
+++ b/src/solver/solver_pool.cpp
@@ -284,6 +284,7 @@ ptr_vector<solver> solver_pool::get_base_solvers() const {
 }
 
 void solver_pool::updt_params(const params_ref &p) {
+    m_base_solver->updt_params(p);
     ptr_vector<solver> solvers = get_base_solvers();
     for (solver *s : solvers) s->updt_params(p);
 }