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