diff --git a/library/kani_core/src/float.rs b/library/kani_core/src/float.rs
index d04088d9824f..77ce8f91ece6 100644
--- 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) => {