diff --git a/src/tools/miri b/src/tools/miri
index 1bf282ff09d1..d9ae0285169e 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 1bf282ff09d10ee88c4fa43ce0820a9bcc2441e4
+Subproject commit d9ae0285169e52050416fb3618f05b5fdf582b6b