From 0b6ba1e8e64af57c569b95c9d8500e500ef7629e Mon Sep 17 00:00:00 2001
From: Justus Adam <justbldr@amazon.com>
Date: Wed, 22 Nov 2023 13:36:44 -0800
Subject: [PATCH] Formatting

---
 library/kani/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/library/kani/src/lib.rs b/library/kani/src/lib.rs
index 769074b3c99a..0ba29399ba8c 100644
--- a/library/kani/src/lib.rs
+++ b/library/kani/src/lib.rs
@@ -96,7 +96,6 @@ macro_rules! implies {
 pub trait Pointer<'a> {
     type Inner;
     unsafe fn decouple_lifetime(self) -> &'a Self::Inner;
-    
     unsafe fn assignable(self) -> &'a mut Self::Inner;
 }