diff --git a/util/update_lints.py b/util/update_lints.py index 70d49f940ee..abc8e5dee98 100755 --- a/util/update_lints.py +++ b/util/update_lints.py @@ -107,7 +107,7 @@ def replace_region(fn, region_start, region_end, callback, new_lines.append(line) if not found: - print "regex " + region_start + " not found" + print("regex " + region_start + " not found") # write back to file if write_back: