From e6e0c74324e5105ce864aba071d849d53ac6e489 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 2 Jul 2022 13:17:14 -0700 Subject: [PATCH] Update update_api.py fix typo --- 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 67d6fcb67ee..43903e92cde 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -689,7 +689,7 @@ def mk_java(java_src, java_dir, package_name): java_native.write('}\n') java_wrapper = open(java_wrapperf, 'w') pkg_str = package_name.replace('.', '_') - java_wrapperf.write("// Automatically generated file\n") + java_wrapper.write("// Automatically generated file\n") with open(java_src + "/NativeStatic.txt") as ins: for line in ins: java_wrapper.write(line)