diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 5a435a9f55bd..4f14caf0e56c 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-43eaa5c6246057b1675f42631967ad500eaf47d5
+e71f9529121ca8f687e4b725e3c9adc3f1ebab4d