diff --git a/src/tools/clippy b/src/tools/clippy
index a20599ab57d08..71ec4ff636b93 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit a20599ab57d08bb61cd177f9c0c98ec395376dd8
+Subproject commit 71ec4ff636b9315cfaadd30e45338a077ed98a9b