diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 603417b77eea..fad70bd6885f 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-b71fa82d786ae1b5866510f1b3a7e5b7e1890e4c
+b71e8cbaf2c7cae4d36898fff1d0ba19d9233082