From f0cb79fc2134a34f802825913ffcf83ae6274050 Mon Sep 17 00:00:00 2001
From: Josh Berdine <josh@berdine.net>
Date: Wed, 26 Nov 2025 02:11:38 +0000
Subject: [PATCH] Return bool instead of int in extra_API for Z3_open_log
 (#8048)

The C declaration returns `bool`.

Signed-off-by: Josh Berdine <josh@berdine.net>
---
 src/api/z3_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 203051b33..5f5a1e04c 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -6019,7 +6019,7 @@ extern "C" {
        \sa Z3_append_log
        \sa Z3_close_log
 
-       extra_API('Z3_open_log', INT, (_in(STRING),))
+       extra_API('Z3_open_log', BOOL, (_in(STRING),))
     */
     bool Z3_API Z3_open_log(Z3_string filename);