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"