diff --git a/src/tools/miri b/src/tools/miri
index cbc7560ae2d44..02a33d411d8e3 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit cbc7560ae2d44669ef6ba0f43014e10ce881180e
+Subproject commit 02a33d411d8e385942776760a99535d69826349b