update lockfile

RalfJung · RalfJung · commit cde5f68948e5 · 2024-05-03T08:10:16.000+02:00
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",
