From 92a841d6692d59e5c00ff3bd5e232a6f9e54ca0c Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 19 Mar 2024 07:55:28 +0100
Subject: [PATCH] remove duplicate test

---
 src/tools/miri/tests/pass/main_fn.rs | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 src/tools/miri/tests/pass/main_fn.rs

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 4cdd034f30ee..000000000000
--- 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;