diff --git a/src/tools/clippy b/src/tools/clippy
index 20da8f45c601d..71be6f62fa920 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 20da8f45c601d0eec8af8c0897abd536ad57951f
+Subproject commit 71be6f62fa920c0bd10cdf3a29aeb8c6719a8075