diff --git a/src/tools/miri b/src/tools/miri
index 3b834667fdf36..76138c56575c3 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 3b834667fdf365ec827df02fc2f945853e7e9b7d
+Subproject commit 76138c56575c347207039bdeafb8456bd72116ad