Skip to content

Commit

Permalink
Update ec/mirage_crypto_ec.ml
Browse files Browse the repository at this point in the history
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
  • Loading branch information
hannesm and reynir authored Feb 9, 2024
1 parent 0615a19 commit b6f7027
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ec/mirage_crypto_ec.ml
Original file line number Diff line number Diff line change
Expand Up @@ -229,7 +229,7 @@ module Make_point (P : Parameters) (F : Foreign) : Point = struct
not (Fe.nz sum)

let check_coordinate buf =
(* ensure cs < p: *)
(* ensure buf < p: *)
match Eqaf.compare_be_with_len ~len:P.byte_length (Bytes.unsafe_to_string buf) (Bytes.unsafe_to_string P.p) >= 0 with
| true -> None
| exception Invalid_argument _ -> None
Expand Down

0 comments on commit b6f7027

Please sign in to comment.