lintlib: Use Python 3 compatible print

Ref: #2882

diff --git a/util/lintlib.py b/util/lintlib.py
index 00826805e1617b5e80db08168b668f8e1f5b087d..c386a94b18b1128280e0e06b0ccb947376dcf2c3 100644 (file)
--- a/util/lintlib.py
+++ b/util/lintlib.py
@@ -44,7 +44,7 @@ def parse_lints(lints, filepath):
                     last_comment.append(line[3:])
                 elif line.startswith("declare_lint!"):
                     import sys
-                    print "don't use `declare_lint!` in Clippy, use `declare_clippy_lint!` instead"
+                    print("don't use `declare_lint!` in Clippy, use `declare_clippy_lint!` instead")
                     sys.exit(42)
                 elif line.startswith("declare_clippy_lint!"):
                     comment = False