From f6c9ead10c0cf904925d7495f5c08dae66643b7a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 27 Oct 2023 13:17:20 -0700 Subject: [PATCH] #6964 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 78bfb6b7a..5cd53e16f 100755 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1839,7 +1839,7 @@ _file_manager = contextlib.ExitStack() 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) )