diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 6a8a378e5..6112a8cd2 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -103,6 +103,7 @@ extern "C" {
         RESET_ERROR_CODE();
         params_ref const& p = to_solver(s)->m_params; 
         Z3_solver_ref * sr = alloc(Z3_solver_ref, 0);
+        init_solver(c, s);
         sr->m_solver = to_solver(s)->m_solver->translate(mk_c(target)->m(), p);
         mk_c(target)->save_object(sr);
         Z3_solver r = of_solver(sr);