update lockfile

RalfJung · RalfJung · commit 166e60e2bb07 · 2022-11-26T14:16:45.000+01:00
diff --git a/src/tools/miri/test-cargo-miri/Cargo.lock b/src/tools/miri/test-cargo-miri/Cargo.lock
@@ -81,10 +81,6 @@ version = "0.1.0"
 name = "issue_rust_86261"
 version = "0.1.0"
 
-[[package]]
-name = "no-std-smoke"
-version = "0.1.0"
-
 [[package]]
 name = "proc-macro2"
 version = "1.0.44"
