From f596688735ae719dd98163ed5fe2241a019be28d Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Fri, 16 Jun 2023 12:48:51 +0200
Subject: [PATCH] Pickles: comments plonk_checks

---
 src/lib/pickles/plonk_checks/plonk_checks.mli | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/pickles/plonk_checks/plonk_checks.mli b/src/lib/pickles/plonk_checks/plonk_checks.mli
index 60df2dbe3240..365eb6690013 100644
--- a/src/lib/pickles/plonk_checks/plonk_checks.mli
+++ b/src/lib/pickles/plonk_checks/plonk_checks.mli
@@ -1,5 +1,6 @@
 open Pickles_types
 
+(* TODO: why do we use objects?*)
 type 'field vanishing_polynomial_domain =
   < vanishing_polynomial : 'field -> 'field >