Commit 67dc507a authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Remove unused variable

parent 2fd1275c
......@@ -135,7 +135,6 @@ let verify_answer pk nb answer =
let {g; p; q; y} = pk in
Array.length answer.choices = nb &&
Array.length answer.individual_proofs = nb &&
let ( ** ) a b = Z.(powm a (of_int b) p) in
let ( * ) a b = Z.(a * b mod p) in
(let rec check i alphas betas =
i = nb ||
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment