diff --git a/src/tools/miri b/src/tools/miri
index 5faf5a5ca059f..41f3fe64317a6 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 5faf5a5ca059f6eb067fc86e47480f5668ac6e8c
+Subproject commit 41f3fe64317a6ef144d2ac33e4e5870d894d6038