diff --git a/src/tools/miri b/src/tools/miri
index 1b3a27c4298eb..88da6757d7fe7 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 1b3a27c4298ebed55851657934483366a02abc3b
+Subproject commit 88da6757d7fe75c853767e4615a6255e9466b67a