diff --git a/argus-core/src/expr.rs b/argus-core/src/expr.rs index fc7b3e5..3a1d2c4 100644 --- a/argus-core/src/expr.rs +++ b/argus-core/src/expr.rs @@ -356,7 +356,6 @@ impl ExprBuilder { #[cfg(any(test, feature = "arbitrary"))] pub mod arbitrary { - #![allow(clippy::arc_with_non_send_sync)] //! Helper functions to generate arbitrary expressions using [`mod@proptest`]. use core::ops::Bound;