diff --git a/src/tools/miri b/src/tools/miri
index eb5ff1791be..eee22ffddab 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit eb5ff1791be706d173b4f4c29e9c0529b4235c0e
+Subproject commit eee22ffddab20f51e1866bcbe4c5a69a90bdd260