diff --git a/src/tools/miri b/src/tools/miri
index 042cbf175bf..09cadcbb62a 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 042cbf175bfdad6524fd00d7570b2297a0426063
+Subproject commit 09cadcbb62a3529801d0463d9878db3f0b5060c7