Skip to content

Commit

Permalink
Moved attribute to proper place
Browse files Browse the repository at this point in the history
  • Loading branch information
herzogp committed May 8, 2024
1 parent eed41a7 commit b7d54c7
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions lib/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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!({}));
Expand All @@ -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);
Expand Down

0 comments on commit b7d54c7

Please sign in to comment.