From 6c06b015a1ab9ad9952a457e44573e54f60cb98b Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Wed, 18 Jul 2018 20:25:11 -0700
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 3246a1f5c0e..c05adc545cf 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit 3246a1f5c0ecd85e53f9d2564305a3f7f063064e
+Subproject commit c05adc545cff45449d40b1c72070ada7db5fc953