From ea0b3ab6739aaef1c11e04b512a5704aaf65e354 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 12 Mar 2022 19:30:26 -0500
Subject: [PATCH] update Miri

---
 Cargo.lock     | 1 -
 src/tools/miri | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 4d7b62e9c559f..5d9edc5157d94 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2327,7 +2327,6 @@ dependencies = [
  "compiletest_rs",
  "env_logger 0.9.0",
  "getrandom 0.2.0",
- "hex 0.4.2",
  "libc",
  "log",
  "measureme 9.1.2",
diff --git a/src/tools/miri b/src/tools/miri
index 722475ccc143d..a12a48bf723e0 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 722475ccc143d2dbf9fad5891207dcb5576e3d17
+Subproject commit a12a48bf723e0e13f043979a7f79861d975e7187