diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index fa06a069d541..acf96cfab7a0 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-cb7c63606e53715f94f3ba04d38e50772e4cd23d
+b13a71a2e77f4625d1a2b8a5b9488414686ebca9