#6964

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 27, 2023 · f6c9ead · f6c9ead
1 parent 93427f1
commit f6c9ead
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/update_api.py b/scripts/update_api.py
@@ -1839,7 +1839,7 @@ def write_core_py_preamble(core_py):
 atexit.register(_file_manager.close)
 _ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so'
 _lib = None
-_z3_lib_resource = importlib_resources.files('z3', 'lib')
+_z3_lib_resource = importlib_resources.files('z3').joinpath('lib')
 _z3_lib_resource_path = _file_manager.enter_context(
     importlib_resources.as_file(_z3_lib_resource)
 )