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);