diff --git a/src/tools/miri b/src/tools/miri
index 07ac10277ea5a..c77f0ab707be1 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 07ac10277ea5ad42efbb914da5844e0ab08efbf4
+Subproject commit c77f0ab707be1246d6bef1e691b9a99d0bd7cc5b