1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.py b/tools/lint.py
index 76f51404d..3ab29d61f 100755
--- a/tools/lint.py
+++ b/tools/lint.py
@@ -113,7 +113,7 @@ def pylint():
 
 
 def clippy():
-    print "clippy"
+    print("clippy")
     current_build_mode = build_mode()
     args = ["cargo", "clippy", "--all-targets", "--locked"]
     if current_build_mode != "debug":