fix no-std-smoke test

rust-lang · Jan 23, 2025 · db4bd29 · db4bd29
1 parent 2591203
commit db4bd29
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: