Update clippy

diff --git a/src/tools/clippy b/src/tools/clippy
index d2f51228152a139a2a8aaba59b8a4e68f498ff26..f3087c37bf5d8491b72ce007b65a47c2d3c2e733 160000 (submodule)
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit d2f51228152a139a2a8aaba59b8a4e68f498ff26
+Subproject commit f3087c37bf5d8491b72ce007b65a47c2d3c2e733