From 166e60e2bb0713dc9c76b13f08e580cb908b232e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 26 Nov 2022 14:16:45 +0100 Subject: [PATCH] update lockfile --- src/tools/miri/test-cargo-miri/Cargo.lock | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/tools/miri/test-cargo-miri/Cargo.lock b/src/tools/miri/test-cargo-miri/Cargo.lock index d037a37e0f6..2c53c482bf9 100644 --- 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"