From 4af1ba020405ce815cdc134335726edcd0d92cac Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 3 May 2024 08:10:16 +0200
Subject: [PATCH] update lockfile

---
 src/tools/miri/Cargo.lock | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tools/miri/Cargo.lock b/src/tools/miri/Cargo.lock
index 3a282e89312..6960c1661c5 100644
--- a/src/tools/miri/Cargo.lock
+++ b/src/tools/miri/Cargo.lock
@@ -553,7 +553,6 @@ dependencies = [
  "directories",
  "getrandom",
  "jemalloc-sys",
- "lazy_static",
  "libc",
  "libffi",
  "libloading",