Auto merge of rust-lang#3391 - RalfJung:dedup, r=RalfJung

remove duplicate test This is basically the same as `tests/pass/imported_main.rs`.
RalfJung · Mar 19, 2024 · 67966f3 · 67966f3
2 parents bca5e2c + 92a841d
commit 67966f3
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/tools/miri/tests/pass/main_fn.rs b/src/tools/miri/tests/pass/main_fn.rs