diff --git a/src/tools/miri b/src/tools/miri
index 05fdec916a3a9..15e81a94b1aff 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 05fdec916a3a9755c6ea603bab79cdb2f7c062bf
+Subproject commit 15e81a94b1aff99f7c38151d6976757ee0ed0097