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