From 3f3167fb59341ac3240ca1774f48e8c053219131 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 20 Sep 2022 12:57:42 +0200
Subject: [PATCH] miri is not in toolstate any more

---
 src/bootstrap/toolstate.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/bootstrap/toolstate.rs b/src/bootstrap/toolstate.rs
index f3a6759ab84..1a177443227 100644
--- a/src/bootstrap/toolstate.rs
+++ b/src/bootstrap/toolstate.rs
@@ -77,7 +77,6 @@ fn days_since_beta_promotion() -> u64 {
 // though, as otherwise we will be unable to file an issue if they start
 // failing.
 static NIGHTLY_TOOLS: &[(&str, &str)] = &[
-    ("miri", "src/tools/miri"),
     ("embedded-book", "src/doc/embedded-book"),
     // ("rustc-dev-guide", "src/doc/rustc-dev-guide"),
 ];