From d57dd6ef73bd2a88233192f93428eca2ce3762c6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Aug 2025 13:11:11 -0700 Subject: [PATCH] use jboolean in Native interface Signed-off-by: Nikolaj Bjorner --- src/api/java/NativeStatic.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/java/NativeStatic.txt b/src/api/java/NativeStatic.txt index f98357fde..b498c11c2 100644 --- a/src/api/java/NativeStatic.txt +++ b/src/api/java/NativeStatic.txt @@ -153,7 +153,7 @@ static void decide_eh(void* _p, Z3_solver_callback cb, Z3_ast _val, unsigned bit info->jenv->CallVoidMethod(info->jobj, info->decide, (jlong)_val, bit, is_pos); } -static boolean on_binding_eh(void* _p, Z3_solver_callback cb, Z3_ast _q, Z3_ast _inst) { +static jboolean on_binding_eh(void* _p, Z3_solver_callback cb, Z3_ast _q, Z3_ast _inst) { JavaInfo *info = static_cast(_p); ScopedCB scoped(info, cb); return info->jenv->CallVoidMethod(info->jobj, info->on_binding, (jlong)_q, (jlong)_inst);