diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index d0757e58bf90..3450f18334a7 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-8e3710ef31a0b2cdf5a1c2f3929b7735d1e28c20
+f6d23413c399fb530be362ebcf25a4e788e16137