From 64a5a8bfc907ff49caa375e6f0fb71be443c838d Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Tue, 23 Jul 2024 19:49:47 +0000
Subject: [PATCH] Fix fmt

---
 library/kani_macros/src/derive.rs | 1 -
 library/kani_macros/src/lib.rs    | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

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};