diff --git a/src/tools/miri b/src/tools/miri
index d4e4fe71e6a95..8355437d5d0e7 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit d4e4fe71e6a9568f5d081d99f1c621c5a4ddd7db
+Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912