whitespace nits

This commit is contained in:
2022-08-16 01:12:08 -07:00
parent fad70f45c1
commit 4c5c978053
2 changed files with 3 additions and 2 deletions

View File

@@ -254,6 +254,7 @@ where
} }
} }
#[derive(Copy, Clone, Default, PartialEq)] #[derive(Copy, Clone, Default, PartialEq)]
pub struct Tagged<P: Peano, V> { pub struct Tagged<P: Peano, V> {
inner: V, inner: V,