diff --git a/src/tools/miri b/src/tools/miri index 9983e0fc634e1..81e59e6b92cf1 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 9983e0fc634e11717eb457a73fe84cfc9409ba8f +Subproject commit 81e59e6b92cf1729aabbbbf09b81a81a03775d64