diff --git a/src/tools/miri b/src/tools/miri
index bcb87a70f88d5..8d24b02414073 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit bcb87a70f88d5c22d71f4a714178d93ce0c49b02
+Subproject commit 8d24b02414073bd4dafd3810205265c668dbcae1