diff --git a/Cargo.lock b/Cargo.lock
index 4d7b62e9c559fb65ed536d392a425c67becddbd9..5d9edc5157d94b5673e6a47c1b860953dd834b3e 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 722475ccc143d2dbf9fad5891207dcb5576e3d17..a12a48bf723e0e13f043979a7f79861d975e7187 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 722475ccc143d2dbf9fad5891207dcb5576e3d17
+Subproject commit a12a48bf723e0e13f043979a7f79861d975e7187