diff --git a/library/kani_macros/src/derive.rs b/library/kani_macros/src/derive.rs
index f3605ebfc086..c23ed1a3ab94 100644
--- a/library/kani_macros/src/derive.rs
+++ b/library/kani_macros/src/derive.rs
@@ -223,7 +223,6 @@ fn field_safe_calls_inner(_ident: &Ident, fields: &Fields) -> TokenStream {
     }
 }
 
-
 /// Generate an item initialization where an item can be a struct or a variant.
 /// For named fields, this will generate: `Item { field1: kani::any(), field2: kani::any(), .. }`
 /// For unnamed fields, this will generate: `Item (kani::any(), kani::any(), ..)`
diff --git a/library/kani_macros/src/lib.rs b/library/kani_macros/src/lib.rs
index 82b66fb69141..5cd32ce0d7c0 100644
--- a/library/kani_macros/src/lib.rs
+++ b/library/kani_macros/src/lib.rs
@@ -12,7 +12,7 @@
 mod derive;
 
 // proc_macro::quote is nightly-only, so we'll cobble things together instead
-use derive::{add_trait_bound_invariant, field_refs, fn_any_body, field_safe_calls};
+use derive::{add_trait_bound_invariant, field_refs, field_safe_calls, fn_any_body};
 use proc_macro::TokenStream;
 use proc_macro2::{Span, TokenStream as TokenStream2};
 use proc_macro_error::{abort, proc_macro_error};