diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index ee21f2136cce..57d0b27dfd3b 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-75716b45105e443199ce9800c7009ddfd6d2be53
+728f2daab42ba8f1b3d5caab62495798d1eabfa1