diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 6a2835bc2d9e..d32b6d0d2fc7 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-23d01cd2412583491621ab1ca4f1b01e37d11e39
+7fefa09b90ca57b8a0e0e4717d672d38a0ae58b5