From 8ea89638e203b0778db41c3e135156a17d219c1a Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Sun, 19 May 2024 06:53:59 +0200
Subject: [PATCH] Update recognized tool attributes

---
 src/attributes.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/attributes.md b/src/attributes.md
index 5ce631365..9ce8166db 100644
--- a/src/attributes.md
+++ b/src/attributes.md
@@ -196,7 +196,8 @@ struct S {
 pub fn f() {}
 ```
 
-> Note: `rustc` currently recognizes the tools "clippy", "rustfmt" and "diagnostic".
+> Note: `rustc` currently recognizes the tools "clippy", "rustfmt", "diagnostic",
+> "miri" and "rust_analyzer".
 
 ## Built-in attributes index