diff --git a/src/tools/miri b/src/tools/miri
index 776644c85f9..ea86335318f 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 776644c85f9c374c9b367c5004b96aa5b63f5425
+Subproject commit ea86335318fd06ec964d9a86b187995bda1b6c7d