diff --git a/src/tools/miri b/src/tools/miri index 39ebb079a8e1b..2670839e1af54 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 39ebb079a8e1bd9b8838b97bdc1718f4c0be6b48 +Subproject commit 2670839e1af540a496a0d889fce9ad42529ecc11