diff --git a/src/tools/miri b/src/tools/miri index 824816c973a3f..deb9bfd24648d 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 824816c973a3fd0596ae3a9a38c6fb6299b913b8 +Subproject commit deb9bfd24648d50142ab29b810175837c4718885