From 15274cdf53e04858aa5feff4c3dbe3fefc06e39b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 25 Nov 2025 21:15:51 -0800 Subject: [PATCH] fix type for BoolPtr Signed-off-by: Nikolaj Bjorner --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 27b4e1827..c92d57698 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -625,7 +625,7 @@ def mk_java(java_src, java_dir, package_name): java_native.write(' public static class StringPtr { public String value; }\n') java_native.write(' public static class ObjArrayPtr { public long[] value; }\n') java_native.write(' public static class UIntArrayPtr { public int[] value; }\n') - java_native.write(' public static class BoolPtr { public boolean[] value; }\n') + java_native.write(' public static class BoolPtr { public boolean value; }\n') java_native.write(' public static native void setInternalErrorHandler(long ctx);\n\n') java_native.write(' static {\n')