From 1c7d52383860a554ef37ea563b342e6d44046205 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Mar 2014 14:23:02 -0700 Subject: [PATCH] separate out parameter references for API call to fix build problem Signed-off-by: Nikolaj Bjorner --- src/api/api_opt.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp index d38b5e38c..20d228ebc 100644 --- a/src/api/api_opt.cpp +++ b/src/api/api_opt.cpp @@ -148,7 +148,8 @@ extern "C" { param_descrs descrs; to_optimize_ref(o).collect_param_descrs(descrs); to_params(p)->m_params.validate(descrs); - to_optimize_ref(o).updt_params(to_param_ref(p)); + params_ref pr = to_param_ref(p); + to_optimize_ref(o).updt_params(pr); Z3_CATCH; }