diff --git a/src/tools/miri b/src/tools/miri
index c8713c2f9fc1e..e5c3af6f51631 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit c8713c2f9fc1e28c90876b9ec9557d8c5729757b
+Subproject commit e5c3af6f516311cc4b1fc017c58d83b7442cbc34