diff --git a/src/tools/miri b/src/tools/miri
index 59619775ee44a..fd8101247749c 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 59619775ee44a5e0c875efffc4ca55ae96fca7dc
+Subproject commit fd8101247749c5be6850d5cb5096f01a1867e5ba