diff --git a/src/tools/miri b/src/tools/miri
index 18667a8565967..fa91a89193d26 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 18667a856596713fc4479f99b96afc7f03aa995c
+Subproject commit fa91a89193d26e6a86e2eee1cbaa38cb28ccebe1