Formatting

model-checking · Nov 22, 2023 · 0b6ba1e · 0b6ba1e
1 parent 4b451cf
commit 0b6ba1e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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;
 }