Merge pull request #2977 from flip1995/tool_lints

[rust.git] / util / lintlib.py

diff --git a/util/lintlib.py b/util/lintlib.py
index 4323ef5c3e76b7e0a246f575c4b02abadd1a0d1f..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