Skip to content

Commit 67966f3

Browse files
committed
Auto merge of rust-lang#3391 - RalfJung:dedup, r=RalfJung
remove duplicate test This is basically the same as `tests/pass/imported_main.rs`.
2 parents bca5e2c + 92a841d commit 67966f3

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

src/tools/miri/tests/pass/main_fn.rs

Lines changed: 0 additions & 5 deletions
This file was deleted.

0 commit comments

Comments
 (0)