diff --git a/src/tools/miri b/src/tools/miri index 6359b1b0eb7..30e0c303a01 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 6359b1b0eb724f2432fd4776c3fc5f5cad9e67d0 +Subproject commit 30e0c303a019737cb0e22db464c774ac66b14e07