don't use `#[miri_run]` anymore, but execute the `main` function

[rust.git] / benches / smoke_helper.rs

diff --git a/benches/smoke_helper.rs b/benches/smoke_helper.rs
index e8691f244c02f02440f3795c2ef232d47e7bdb55..ef05b044cddded92cdb5182e2265fe513d1c175e 100644 (file)
--- a/benches/smoke_helper.rs
+++ b/benches/smoke_helper.rs
@@ -1,7 +1,3 @@
-#![feature(custom_attribute)]
-#![allow(unused_attributes)]
-
-#[miri_run]
 #[inline(never)]
 pub fn main() {
 }