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