fixup! Pickles: comment step_verifier

MinaProtocol · Jun 15, 2023 · daebfbc · daebfbc
1 parent 9ef9c93
commit daebfbc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lib/pickles/step_verifier.ml b/src/lib/pickles/step_verifier.ml
@@ -462,6 +462,7 @@ struct
     in
     x_hat
 
+  (* arguments verifications (lookups, plonk, etc) *)
   let incrementally_verify_proof (type b)
       (module Proofs_verified : Nat.Add.Intf with type n = b) ~srs:_
       ~(domain :