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

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

diff --git a/src/rustup/lib.rs b/src/rustup/lib.rs
index c5d66a1ef1c..e3891d17a3a 100644
--- a/src/rustup/lib.rs
+++ b/src/rustup/lib.rs
@@ -31,7 +31,6 @@ pub static TOOLS: &'static [&'static str] = &[
     "rust-gdb",
     "rls",
     "cargo-clippy",
-    "miri",
     "cargo-miri",
 ];