diff --git a/src/tools/miri b/src/tools/miri
index 974c8be95ec17cd986251d7700cd432a39576939..a7891c05f7fdb329f68c991abbb39dafc1f6b4a5 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 974c8be95ec17cd986251d7700cd432a39576939
+Subproject commit a7891c05f7fdb329f68c991abbb39dafc1f6b4a5