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