From b7d54c754f876e6713099b28ab54c475e3da01db Mon Sep 17 00:00:00 2001
From: Paul Herzog <paul.herzog@antithesis.com>
Date: Wed, 8 May 2024 15:28:22 -0400
Subject: [PATCH] Moved attribute to proper place

---
 lib/src/lib.rs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/lib/src/lib.rs b/lib/src/lib.rs
index 517744e..a4f58f1 100644
--- a/lib/src/lib.rs
+++ b/lib/src/lib.rs
@@ -64,10 +64,8 @@ pub mod prelude;
 /// ```
 /// use std::env;
 /// use serde_json::{json};
-/// use antithesis_sdk::antithesis_init;
-/// use antithesis_sdk::{assert_unreachable};
+/// use antithesis_sdk::{antithesis_init, assert_unreachable};
 ///
-/// #[allow(clippy::needless_doctest_main)]
 /// fn main() {
 ///     if (env::args_os().len() == 1888999778899) {
 ///         assert_unreachable!("Unable to provide trillions of arguments", &json!({}));
@@ -78,6 +76,7 @@ pub mod prelude;
 ///     antithesis_init();
 /// }
 /// ```
+#[allow(clippy::needless_doctest_main)]
 pub fn antithesis_init() {
     Lazy::force(&internal::LIB_HANDLER);
     Lazy::force(&assert::INIT_CATALOG);