Format on test

adpaco-aws · Sep 28, 2023 · 1cdb54a · 1cdb54a
1 parent de340f2
commit 1cdb54a
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/tests/cargo-kani/phantom-data/src/lib.rs b/tests/cargo-kani/phantom-data/src/lib.rs
@@ -7,9 +7,6 @@ pub struct Foo<R> {
 
 #[kani::proof]
 fn main() {
-    const C: Foo<usize> = Foo {
-        x: 0,
-        _t: PhantomData,
-    };
+    const C: Foo<usize> = Foo { x: 0, _t: PhantomData };
     assert_eq!(C.x, 0);
 }