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

API script fix

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2016-03-07 14:21:33 +00:00
parent 027331aef2
commit 0ea2ac3f28
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

@ -1261,7 +1261,7 @@ def mk_ml(ml_dir):
ml_native.write('(**/**)\n') ml_native.write('(**/**)\n')
ml_native.close() ml_native.close()
if is_verbose(): if mk_util.is_verbose():
print ('Generated "%s"' % ml_nativef) print ('Generated "%s"' % ml_nativef)