diff --git a/src/tools/miri b/src/tools/miri
index 9e2dac4787e54..ff62c3ac98eb8 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 9e2dac4787e5470ecd9e245420e8da9528620edd
+Subproject commit ff62c3ac98eb85816190afa1c1ec5d0ad2e44235