diff --git a/src/tools/miri b/src/tools/miri
index a9505a8fb89..3b834667fdf 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a9505a8fb89ece7fa514cf3c70f1ada3e39baeec
+Subproject commit 3b834667fdf365ec827df02fc2f945853e7e9b7d