From 3e216dbb2078e9b6d79f5b8f65a54d1ba31f5289 Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger+github@gmail.com>
Date: Fri, 29 Aug 2025 03:21:51 +0200
Subject: [PATCH] Fix method signature for onBindingWrapper, again (#7829)

#7828
---
 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 826d28e23..ac456f926 100644
--- a/src/api/java/NativeStatic.txt
+++ b/src/api/java/NativeStatic.txt
@@ -174,7 +174,7 @@ DLL_VIS JNIEXPORT jlong JNICALL Java_com_microsoft_z3_Native_propagateInit(JNIEn
   info->eq = jenv->GetMethodID(jcls, "eqWrapper", "(JJ)V");
   info->final = jenv->GetMethodID(jcls, "finWrapper", "()V");
   info->decide = jenv->GetMethodID(jcls, "decideWrapper", "(JIZ)V");
-  info->on_binding = jenv->GetMethodID(jcls, "onBindingWrapper", "(JJ)V");
+  info->on_binding = jenv->GetMethodID(jcls, "onBindingWrapper", "(JJ)Z");
 
   if (!info->push || !info->pop || !info->fresh || !info->created || !info->fixed || !info->eq || !info->final || !info->decide) {
     assert(false);