diff --git a/src/tools/miri b/src/tools/miri index 749efd29565a9..3361eabf38825 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 749efd29565a9b8f47afb441aaacfcc10bc145d7 +Subproject commit 3361eabf3882578207a483f2cee631646e80eabc