diff --git a/src/tools/miri b/src/tools/miri
index fd0dccd..e4b298b 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit fd0dccd4b12169e0aac42aff8addbb26b6d72197
+Subproject commit e4b298bc4f5a7e86eb78404e25de08f179091e03