diff --git a/src/tools/miri b/src/tools/miri index 4f6f264c305ea..d77fe6c63ca4c 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 4f6f264c305ea30f1de90ad0c2f341e84d972b2e +Subproject commit d77fe6c63ca4c50b207a1161def90c9e57368d5b