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