From 5ba8231d078d0b0275beddada46e53b480777377 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 21 Jun 2022 09:10:38 -0700 Subject: [PATCH] make it work with old pythons 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 03aa80638..f5d935514 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('.', '_') - with open(f"{java_src}/NativeStatic.txt") as ins: + with open(java_src + "/NativeStatic.txt") as ins: for line in ins: java_wrapper.write(line) for name, result, params in _dotnet_decls: