Clippy fix

model-checking · Nov 28, 2024 · 895a01f · 895a01f
1 parent be2eae3
commit 895a01f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/library/kani_core/src/float.rs b/library/kani_core/src/float.rs
@@ -3,6 +3,7 @@
 
 //! This module contains functions useful for float-related checks
 
+#[allow(clippy::crate_in_macro_def)]
 #[macro_export]
 macro_rules! generate_float {
     ($core:tt) => {