update lockfile

RalfJung · May 3, 2024 · cde5f68 · cde5f68
1 parent 1d453a7
commit cde5f68
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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",