Update the clippy and miri submodules

oli-obk · oli-obk · commit 847bb14ee770 · 2018-05-11T14:11:06.000+02:00
diff --git a/src/Cargo.lock b/src/Cargo.lock
diff --git a/src/tools/clippy b/src/tools/clippy
@@ -1 +1 @@
-Subproject commit e456241f18227c7eb8d78a45daa66c756a9b65e7
+Subproject commit 7a4c00c669b3bf0ffb24c7aa89a776cd48f1e2d0
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e0e1bd7ff778e5913b566c9e03224faecc0eb486
+Subproject commit 6a4c62c1673c3dabcc9a0c99018bd08fec46fda7
