mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 14:43:23 +00:00
Code Activity

#6964

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-10-27 13:17:20 -07:00
parent 93427f1175
commit f6c9ead10c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/update_api.py
View file

@ -1839,7 +1839,7 @@ _file_manager = contextlib.ExitStack()
atexit.register(_file_manager.close) atexit.register(_file_manager.close)
_ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so' _ext = 'dll' if sys.platform in ('win32', 'cygwin') else 'dylib' if sys.platform == 'darwin' else 'so'
_lib = None _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( _z3_lib_resource_path = _file_manager.enter_context(
importlib_resources.as_file(_z3_lib_resource) importlib_resources.as_file(_z3_lib_resource)
) )