From daebfbcae8887ad6fd45e09a8c1513a331aff8d7 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Thu, 15 Jun 2023 10:08:35 +0200
Subject: [PATCH] fixup! Pickles: comment step_verifier

---
 src/lib/pickles/step_verifier.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/pickles/step_verifier.ml b/src/lib/pickles/step_verifier.ml
index 05a5c237f3ee..fbaec97d3b46 100644
--- 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 :