diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index 6ded1ea1c5d..e2cc39a896d 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-20952db40d5220e8a15c2e569ae480877bbc8417
+722b3eeb72b6bca6c38bbcbda57179f073f23431