From 5b90d9123509baac0d0e77b2fb5757ff462073be Mon Sep 17 00:00:00 2001
From: Sebastien La Duca <sladuca777@gmail.com>
Date: Fri, 29 Apr 2022 15:39:54 +0200
Subject: [PATCH] add doc explaining ordering in

---
 starky/src/stark.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/starky/src/stark.rs b/starky/src/stark.rs
index 72614574..b2efc4ed 100644
--- a/starky/src/stark.rs
+++ b/starky/src/stark.rs
@@ -61,6 +61,8 @@ pub trait Stark<F: RichField + Extendable<D>, const D: usize>: Sync {
 
     /// Evaluate constraints at a vector of points from the degree `D` extension field. This is like
     /// `eval_ext`, except in the context of a recursive circuit.
+    /// Note: constraints must be added through`yeld_constr.constraint(builder, constraint)` in the 
+    /// same order as they are given in `eval_packed_generic`.
     fn eval_ext_recursively(
         &self,
         builder: &mut CircuitBuilder<F, D>,