diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 044f5cf9ca38..e62c61b10431 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-a2f3c0cf880ad819c4eab2b320525b6a31ac6513
+0250ef2571185b05701ed9d74fc904c17508a397