From e2885eb65696caf8c9024493331917eb5dd56f18 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Sat, 6 Jul 2019 00:06:36 -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 e3cb40e4f7e56..316da7eb41f2c 160000
--- a/src/tools/clippy
+++ b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit e3cb40e4f7e566ffe260b2b9d606485c7c22d642
+Subproject commit 316da7eb41f2c263963fc1b74fe9bb528860817f