From 9e6d2d761e10e1db7e07a24a469527fde445fda6 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Fri, 23 Feb 2018 08:59:52 -0800
Subject: [PATCH] Update Clippy

---
 src/tools/clippy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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