From a5609364ddc2285422daa3dbd4db9ebfab334b1a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 28 Aug 2025 13:04:04 -0700 Subject: [PATCH] Fix method signature for onBindingWrapper #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 57c5debf1..826d28e23 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", "(JIZ)V"); + info->on_binding = jenv->GetMethodID(jcls, "onBindingWrapper", "(JJ)V"); if (!info->push || !info->pop || !info->fresh || !info->created || !info->fixed || !info->eq || !info->final || !info->decide) { assert(false);