mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
make it work with old pythons
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
d792d30e88
commit
5ba8231d07
|
@ -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:
|
||||
|
|
Loading…
Reference in a new issue