From a258feb6eb2b069dcb36763513f9f2f98aee04eb Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Mon, 31 May 2021 11:53:46 -0500 Subject: Bump Miri for const_err changes r? @RalfJung --- src/tools/miri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/tools/miri b/src/tools/miri index 4fa9363ebba..453affaaa17 160000 --- a/src/tools/miri +++ b/src/tools/miri @@ -1 +1 @@ -Subproject commit 4fa9363ebba236f7c29ae11180db6051d7d2ce3b +Subproject commit 453affaaa1762a065d2857970b8333017211208c -- cgit 1.4.1-3-g733a5