fix doc tests`

facebook · Apr 20, 2024 · c787454 · c787454
1 parent e911a4b
commit c787454
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -290,7 +290,7 @@ impl Prover for WorkProver {
     fn new_evaluator<'a, E: FieldElement<BaseField = BaseElement>>(
         &self,
         air: &'a WorkAir,
-        aux_rand_elements: winterfell::AuxTraceRandElements<E>,
+        aux_rand_elements: Option<Self::AuxRandElements<E>>,
         composition_coefficients: winterfell::ConstraintCompositionCoefficients<E>,
     ) -> Self::ConstraintEvaluator<'a, E> {
         DefaultConstraintEvaluator::new(air, aux_rand_elements, composition_coefficients)

diff --git a/winterfell/src/lib.rs b/winterfell/src/lib.rs
@@ -372,12 +372,11 @@
 //!     fn new_evaluator<'a, E: FieldElement<BaseField = Self::BaseField>>(
 //!         &self,
 //!         air: &'a Self::Air,
-//!         aux_rand_elements: winterfell::AuxTraceRandElements<E>,
-//!         composition_coefficients: winterfell::ConstraintCompositionCoefficients<E>,
+//!         aux_rand_elements: Option<Self::AuxRandElements<E>>,
+//!         composition_coefficients: ConstraintCompositionCoefficients<E>,
 //!     ) -> Self::ConstraintEvaluator<'a, E> {
 //!         DefaultConstraintEvaluator::new(air, aux_rand_elements, composition_coefficients)
 //!     }
-//! }
 //! ```
 //!
 //! Now, we are finally ready to generate and verify STARK proofs.
@@ -511,8 +510,8 @@
 //! #    fn new_evaluator<'a, E: FieldElement<BaseField = Self::BaseField>>(
 //! #        &self,
 //! #        air: &'a Self::Air,
-//! #        aux_rand_elements: winterfell::AuxTraceRandElements<E>,
-//! #        composition_coefficients: winterfell::ConstraintCompositionCoefficients<E>,
+//! #        aux_rand_elements: Option<Self::AuxRandElements<E>>,
+//! #        composition_coefficients: ConstraintCompositionCoefficients<E>,
 //! #    ) -> Self::ConstraintEvaluator<'a, E> {
 //! #        DefaultConstraintEvaluator::new(air, aux_rand_elements, composition_coefficients)
 //! #    }