diff --git a/src/tools/miri b/src/tools/miri
index fd8101247749c..578aebf478f3b 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit fd8101247749c5be6850d5cb5096f01a1867e5ba
+Subproject commit 578aebf478f3bd0ff7f4826d1b64254fe032c191