diff --git a/src/tools/miri b/src/tools/miri index 147ea8f400de3..325682ad56d23 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 147ea8f400de3ca529abcb5eb7b65f84a4896ae9 +Subproject commit 325682ad56d23369059ea93d5a8d44e5782e41cf