diff --git a/src/tools/miri b/src/tools/miri
index 88da6757d7f..6359b1b0eb7 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 88da6757d7fe75c853767e4615a6255e9466b67a
+Subproject commit 6359b1b0eb724f2432fd4776c3fc5f5cad9e67d0