diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 0bff100dc140e..2b3aa19805c68 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-8b4b20836b832e91aa605a2faf5e2a55190202c8
+be72f2587c91579406117f99fa332383d66b7dcd