diff --git a/test-cargo-miri/no-std-smoke/src/main.rs b/test-cargo-miri/no-std-smoke/src/main.rs
index d9f1b27bf5..aa3faf83f9 100644
--- a/test-cargo-miri/no-std-smoke/src/main.rs
+++ b/test-cargo-miri/no-std-smoke/src/main.rs
@@ -1,6 +1,7 @@
 // Copied from tests/pass/no-std.rs
 
 #![no_std]
+#![no_main]
 
 // Plumbing to let us use `writeln!` to host stdout: