diff --git a/src/tools/miri b/src/tools/miri
index 15e81a94b1aff..3cf6550cc158d 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 15e81a94b1aff99f7c38151d6976757ee0ed0097
+Subproject commit 3cf6550cc158dfeb69440b84f80b65e0eca66082