diff --git a/src/tools/miri b/src/tools/miri
index 4da2b2149ca1c..4e44aa010c4c7 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 4da2b2149ca1c6a3331260dfcbb2175c51f2842d
+Subproject commit 4e44aa010c4c7d616182a3078cafb39da6f6c0a2