mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Specify encoding of source files in mk_util.py

Browse source
This commit is contained in:
Carsten Varming 2018-05-03 03:06:58 +00:00
parent 2abc759d0e
commit c279fd9f2e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -780,7 +780,7 @@ def extract_c_includes(fname):
# We should generate and error for any occurrence of #include that does not match the previous pattern. # We should generate and error for any occurrence of #include that does not match the previous pattern.
non_std_inc_pat = re.compile(".*#include.*") non_std_inc_pat = re.compile(".*#include.*")
f = open(fname, 'r') f = open(fname, encoding='utf-8', mode='r')
linenum = 1 linenum = 1
for line in f: for line in f:
m1 = std_inc_pat.match(line) m1 = std_inc_pat.match(line)