fix no-std-smoke test

RalfJung · RalfJung · commit db4bd2991b0f · 2025-01-22T22:49:26.000-07:00
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:
 
