From 7ded77fe7d771fae5eb862e14005a5aac4871405 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Sun, 12 Aug 2018 11:33:44 +0200
Subject: [PATCH] update_lints.py: port another print to print() for python3
 compatibility.

---
 util/update_lints.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: