diff --git a/src/tools/miri b/src/tools/miri
index f18fc27b6f1b0..911aedf736992 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit f18fc27b6f1b07e1bc6f61764cd74f59d29956b8
+Subproject commit 911aedf736992e907d11cb494167f41f28d02368