From 4aa993c99ba30247b28a6e54a20040890228274c Mon Sep 17 00:00:00 2001
From: Michael Rosenberg <mrosenberg@cloudflare.com>
Date: Wed, 6 Nov 2024 23:10:08 -0500
Subject: [PATCH] Doc tweak

---
 src/flp.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/flp.rs b/src/flp.rs
index 07923eae..e74de770 100644
--- a/src/flp.rs
+++ b/src/flp.rs
@@ -217,7 +217,7 @@ pub trait Type: Sized + Eq + Clone + Debug {
 
     /// The length in field elements of the random input consumed by the verifier to make queries
     /// against inputs and proofs. This is the same as the number of gadgets in the validity
-    /// circuit.
+    /// circuit, plus the number of elements output by the validity circuit (if >1).
     fn query_rand_len(&self) -> usize {
         let mut n = self.gadget().len();
         let eval_elems = self.eval_output_len();