diff --git a/src/tools/miri b/src/tools/miri
index f76ebd6feb9f5..178e7f3f332ba 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit f76ebd6feb9f59be993336f84ecfdc441ad33d81
+Subproject commit 178e7f3f332bac8be6bc9c33ad1f811ddc5c4e39