From e48a8e3cc5412dc2e39bd4dc4f4fd1c5183dafc1 Mon Sep 17 00:00:00 2001
From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Wed, 9 Jan 2019 12:58:53 +0100
Subject: [PATCH] Only `cargo-miri` is needed

---
 src/rustup-win-installer/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/rustup-win-installer/src/lib.rs b/src/rustup-win-installer/src/lib.rs
index 28df1b6ec97..df03a774a6f 100644
--- a/src/rustup-win-installer/src/lib.rs
+++ b/src/rustup-win-installer/src/lib.rs
@@ -27,7 +27,6 @@ static TOOLS: &'static [&'static str] = &[
     "rustfmt",
     "cargo-fmt",
     "cargo-clippy",
-    "miri",
     "cargo-miri",
 ];