Fix u128 description to reflect 128-bit integers.#176

Open

wojciechos wants to merge 1 commit intostarkware-libs:masterfrom wojciechos:fix-u128-spec

+1-1

Commits on Nov 27, 2023

Corrected u128 description to reflect 128-bit integers.
wojciechos
committed