From 84f935ae85ab9bdf79770919a484e0ca85a91488 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 9 Nov 2015 06:38:06 -0800
Subject: [PATCH] initialize solver prior to translate. fixes build break

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

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);