diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 84a353bfbcf3..d1a5ef7b7fce 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-775e0c8aeb8f63192854b27156f8b05a06b51814
+a5584a8fe16037dc01782064fa41424a6dbe9987