Skip to content

Commit fa2a119

Browse files
committed
chore: not related
1 parent 292e008 commit fa2a119

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/Init/Data/SInt/Basic.lean

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ This module contains the definition of signed fixed width integer types as well
1111
and bitwise operations on top of it.
1212
-/
1313

14+
1415
/--
1516
The type of signed 8-bit integers. This type has special support in the
1617
compiler to make it actually 8 bits rather than wrapping a `Nat`.

0 commit comments

Comments
 (0)