From f43d9d00d4ba7ee040d7e3736a848926a842c082 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Bour?= Date: Mon, 11 Apr 2022 13:38:20 +0200 Subject: [PATCH] Z3_add_rec_def body is not a macro (#5963) --- src/api/api_ast.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp index 8144c2baf..7ee95afc8 100644 --- a/src/api/api_ast.cpp +++ b/src/api/api_ast.cpp @@ -164,7 +164,7 @@ extern "C" { return; } recfun_replace replace(m); - p.set_definition(replace, pd, true, n, _vars.data(), abs_body); + p.set_definition(replace, pd, false, n, _vars.data(), abs_body); Z3_CATCH; }