diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 77436ae2f825..692cbc0a56bc 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-3b8665c5ab3aeced9b01672404c3764583e722ca
+4fd31815524baba0bf368f151f757101f432e3de