From e5a2f08cc9d22ac3807f5655a33a7db6105d9d9c Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 29 Aug 2021 00:37:45 +0100 Subject: [PATCH] fix logging of Z3_mk_lambda and Z3_mk_lambda_const In preparation of a bug report just for you @NikolajBjorner --- src/api/api_quant.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/api_quant.cpp b/src/api/api_quant.cpp index ce58f0181..885cf6598 100644 --- a/src/api/api_quant.cpp +++ b/src/api/api_quant.cpp @@ -162,7 +162,7 @@ extern "C" { } result = mk_c(c)->m().mk_lambda(names.size(), ts, names.data(), to_expr(body)); mk_c(c)->save_ast_trail(result.get()); - return of_ast(result.get()); + RETURN_Z3(of_ast(result.get())); Z3_CATCH_RETURN(nullptr); } @@ -192,7 +192,7 @@ extern "C" { result = mk_c(c)->m().mk_lambda(_vars.size(), _vars.data(), _names.data(), result); mk_c(c)->save_ast_trail(result.get()); - return of_ast(result.get()); + RETURN_Z3(of_ast(result.get())); Z3_CATCH_RETURN(nullptr); }