diff options
| author | Jakub Kulík <kulikjak@gmail.com> | 2020-05-19 11:50:44 +0200 |
|---|---|---|
| committer | Jakub Kulík <kulikjak@gmail.com> | 2020-05-19 11:50:44 +0200 |
| commit | fd7626ee3cc965f15fe78d9f45e713ebefd83a99 (patch) | |
| tree | f808b9073cf9a451cb920d196cf91141c5e2cc61 | |
| parent | 8b3ef714d8f94b96eaa9af238abe2b2f62b60bae (diff) | |
| -rwxr-xr-x | tests/all-errors-documented.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/all-errors-documented.py b/tests/all-errors-documented.py index 911dc7695..1a83d81d9 100755 --- a/tests/all-errors-documented.py +++ b/tests/all-errors-documented.py @@ -24,7 +24,7 @@ def check_all_errors_documented(abs_top_srcdir): error.getAttribute('name').replace('.', '_').replace(' ', '_').upper()) if '%s\n' % name not in sections: - print "'%s' is missing in %s" % (name, sections_path) + print("'%s' is missing in %s" % (name, sections_path)) sys.exit(1) if __name__ == '__main__': |