Fix formatting

Author: nilehmann

library/core/src/pat.rs

@@ -84,7 +84,6 @@ impl const RangePattern for char {
 
     const MAX: Self = char::MAX;
 
-
     #[cfg_attr(flux, flux::spec(fn (self: char{<char as RangePattern>::sub_ok(self)}) -> char))]
     fn sub_one(self) -> Self {
         match char::from_u32(self as u32 - 1) {