diff --git a/src/tools/miri b/src/tools/miri
index a7891c05f7fdb..0ff05c4cfe534 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a7891c05f7fdb329f68c991abbb39dafc1f6b4a5
+Subproject commit 0ff05c4cfe534321b194bf3bedf028df92ef519c