diff --git a/src/tools/miri b/src/tools/miri
index e05a543f74dbd..c6b3f687d5d99 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e05a543f74dbdd0580b2bd35ddb7f8e144d9edda
+Subproject commit c6b3f687d5d9917b626f80a730552a185052ff28