diff --git a/src/tools/miri b/src/tools/miri
index fd8101247749c..eb5ff1791be70 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit fd8101247749c5be6850d5cb5096f01a1867e5ba
+Subproject commit eb5ff1791be706d173b4f4c29e9c0529b4235c0e