From 7ba967e1367b61e920856c2163e48760c376bf5f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Aug 2025 14:37:29 -0700 Subject: [PATCH] fix java build for java bindings 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 dd32b1bd0..57c5debf1 100644 --- a/src/api/java/NativeStatic.txt +++ b/src/api/java/NativeStatic.txt @@ -157,7 +157,7 @@ static void decide_eh(void* _p, Z3_solver_callback cb, Z3_ast _val, unsigned bit 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); + return info->jenv->CallBooleanMethod(info->jobj, info->on_binding, (jlong)_q, (jlong)_inst); } DLL_VIS JNIEXPORT jlong JNICALL Java_com_microsoft_z3_Native_propagateInit(JNIEnv *jenv, jclass cls, jobject jobj, jlong ctx, jlong solver) {