GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-17 09:50:35 +03:00
Code Issues Projects Releases Wiki Activity

Clean up panic error message in ec_mult

Browse Source
This commit is contained in:
Ryan 2024-07-10 13:30:17 -06:00
parent 873fa9cd67
commit 39b0682fbb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/PrimeEC.hs
View File

@ -294,7 +294,7 @@ ec_mult p d s
| BN.bigNatIsZero (pz s) = zro
| otherwise =
case m of
0# -> panic "ec_mult" ["modulus too large", show (BN.bigNatToInteger (primeMod p))]
0# -> panic "ec_mult" ["integer with 0 width", show h]
_ -> go m zro
where