From 645ad099abef5ee62a2e71fda9bf030e0d99d3be Mon Sep 17 00:00:00 2001
From: Karlheinz Friedberger <kfriedberger+github@gmail.com>
Date: Thu, 28 Aug 2025 22:33:21 +0200
Subject: [PATCH] Fix method signature for onBindingWrapper, again

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