From a293897a83b87c1e092c00cf303ef52c36c52013 Mon Sep 17 00:00:00 2001
From: DebugSteven <debugsteven@gmail.com>
Date: Mon, 19 Sep 2022 10:58:22 -0600
Subject: [PATCH] remove test failure for tokio

---
 tests/fail/crates/tokio_mvp.rs | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 tests/fail/crates/tokio_mvp.rs

diff --git a/tests/fail/crates/tokio_mvp.rs b/tests/fail/crates/tokio_mvp.rs
deleted file mode 100644
index 8ea803336b..0000000000
--- a/tests/fail/crates/tokio_mvp.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-//@compile-flags: -Zmiri-disable-isolation -Zmiri-permissive-provenance
-//@error-pattern: unsupported operation: failed to add event
-//@normalize-stderr-test: "   = note: inside .*\n" -> ""
-//@only-target-linux: the errors differ too much between platforms
-
-#[tokio::main]
-async fn main() {}