diff --git a/src/tools/clippy b/src/tools/clippy
index ce47e529d29..d5e233a7204 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit ce47e529d29f0bf19b31ae80b37b467e42fb97e2
+Subproject commit d5e233a720495c52af25d8f6dcc9e55e1193beb9