Merge pull request #3042 from matthiaskrgr/py3

update_lints.py: port another print to print() for python3 compatibility.

diff --git a/util/update_lints.py b/util/update_lints.py
index 70d49f940eebc3516b592957258f4bfd850ec300..abc8e5dee980dfc9b8e90b63c91cf3369f1aa80d 100755 (executable)
--- 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: