mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 03:15:50 +00:00
Code Activity

another patch

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-04-07 18:20:45 -07:00
parent 6e1ac19c44
commit 887b62efe6
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/mk_util.py
View file

@ -1007,8 +1007,9 @@ class Component:
# Iterate through all of the possibilities
for possibility in possibilities:
path = possibility.path.replace("\\","/")
# If we match the suffix of the path ...
if possibility.path.endswith(orig_dir):
if path.endswith(orig_dir):
# ... use our new match
return possibility