diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 7dde150d1e8b..06a597064624 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-0b329f801a09004dacb19aaf09d5cb8b4c51d3f8
+7a72c5459dd58f81b0e1a0e5436d145485889375