diff --git a/src/tools/miri b/src/tools/miri
index 7bc0c986217..8e818ffa1b8 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 7bc0c986217629e6c831edcb133532023a5aec63
+Subproject commit 8e818ffa1b85f4e740c4096fd38c62b2b73f4d83