diff --git a/src/tools/miri b/src/tools/miri
index 37b2eea7144..0c85dbf3df0 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 37b2eea7144d022702f0d2eedcc4c776db15d078
+Subproject commit 0c85dbf3df0f545133dca24eccfc9f0f6107c7f8