From 3626d9f69f2c1a09e88a6602536d992403217621 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 7 Dec 2015 19:24:09 +0000 Subject: [PATCH 1/2] Bugfix for floating-point API. Fixes #358. --- src/api/api_fpa.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp index 290f27ac5..d31d15a1b 100644 --- a/src/api/api_fpa.cpp +++ b/src/api/api_fpa.cpp @@ -441,8 +441,9 @@ extern "C" { LOG_Z3_mk_fpa_max(c, t1, t2); RESET_ERROR_CODE(); api::context * ctx = mk_c(c); - Z3_ast r = of_ast(ctx->fpautil().mk_max(to_expr(t1), to_expr(t2))); - RETURN_Z3(r); + expr * a = ctx->fpautil().mk_max(to_expr(t1), to_expr(t2)); + ctx->save_ast_trail(a); + RETURN_Z3(of_expr(a)); Z3_CATCH_RETURN(0); } From f6a10b0b8210a24d683e7aa2f988d400a7e2fb15 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 7 Dec 2015 19:28:04 +0000 Subject: [PATCH 2/2] tabs --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index e2d024a60..888fb8553 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1349,7 +1349,7 @@ class PythonInstallComponent(Component): return False def install_deps(self, out): - if not is_python_install_enabled(): + if not is_python_install_enabled(): return pythonPkgDirWithoutPrefix = strip_path_prefix(PYTHON_PACKAGE_DIR, PREFIX) MakeRuleCmd.make_install_directory(out, pythonPkgDirWithoutPrefix)