fix(hax-lib): missing newline

cryspen · Apr 29, 2024 · 5fb2b0b · 5fb2b0b
1 parent 1b836a9
commit 5fb2b0b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/hax-lib/src/int/bigint.rs b/hax-lib/src/int/bigint.rs
@@ -23,6 +23,7 @@ mod no_extraction {
             );
             BigInt { sign, data }
         }
+
         /// Constructs a [`num_bigint::BigInt`] out of a [`BigInt`].
         pub(crate) fn get(self) -> num_bigint::BigInt {
             num_bigint::BigInt::from_bytes_be(self.sign, &self.data)