diff --git a/src/tools/miri b/src/tools/miri
index 732461b4cd2c4..be72564a64375 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 732461b4cd2c4bfd8b229ad43fbc32c193b4049d
+Subproject commit be72564a643758afcc1de152ead2359d489149c0