From 895a01fd16512a1d83b1b0f9e019487d8fd0d12b Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Wed, 27 Nov 2024 16:04:52 -0800
Subject: [PATCH] Clippy fix

---
 library/kani_core/src/float.rs | 1 +
 1 file changed, 1 insertion(+)

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) => {