Z3_add_rec_def body is not a macro (#5963)

Z3Prover · Apr 11, 2022 · f43d9d0 · f43d9d0
1 parent 4f4e9a9
commit f43d9d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
     }