diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 1a95b8557dc6..ba869b1667c8 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-c871d09d1cc32a649f4c5177bb819646260ed120
+88bd39beb342e2ae7ded1eb7d58697416686d679