diff options
| -rw-r--r-- | src/tools/miri/tests/pass/main_fn.rs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/tools/miri/tests/pass/main_fn.rs b/src/tools/miri/tests/pass/main_fn.rs deleted file mode 100644 index 4cdd034f30e..00000000000 --- a/src/tools/miri/tests/pass/main_fn.rs +++ /dev/null @@ -1,5 +0,0 @@ -mod foo { - pub(crate) fn bar() {} -} - -use foo::bar as main; |