diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 35108ef76219..d0d951c3e115 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-3fb7e441aecc3c054d71eb4d752d06e7776e8888
+b71fb5edc0217eaf8fc824a44cd7b0945e29ff4d