diff --git a/src/tools/miri b/src/tools/miri index faff9a7ad9f2d..59619775ee44a 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit faff9a7ad9f2d07c1702bd8be392134d27e3eaf8 +Subproject commit 59619775ee44a5e0c875efffc4ca55ae96fca7dc