diff --git a/src/tools/miri b/src/tools/miri
index 6ded8aadabda9..7f3366288d126 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 6ded8aadabda9530a4a7abb6fbbfe09a8e6aa64a
+Subproject commit 7f3366288d126408815eeafa8d7cd6e9f3ea56b9