From 94dd9cc4210d42b94cbd92e3276f5eae59a12b0f Mon Sep 17 00:00:00 2001 From: Kris Nuttycombe Date: Thu, 14 Jan 2021 13:31:48 -0700 Subject: [PATCH] Fix doctests. --- src/dev.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/dev.rs b/src/dev.rs index 2a691ba..9e63e7a 100644 --- a/src/dev.rs +++ b/src/dev.rs @@ -58,6 +58,7 @@ pub enum VerifyFailure { /// dev::{MockProver, VerifyFailure}, /// pasta::Fp, /// plonk::{Advice, Assignment, Circuit, Column, ConstraintSystem, Error}, +/// poly::Rotation, /// }; /// const K: u32 = 5; /// @@ -81,9 +82,9 @@ pub enum VerifyFailure { /// let c = meta.advice_column(); /// /// meta.create_gate(|meta| { -/// let a = meta.query_advice(a, 0); -/// let b = meta.query_advice(b, 0); -/// let c = meta.query_advice(c, 0); +/// let a = meta.query_advice(a, Rotation::cur()); +/// let b = meta.query_advice(b, Rotation::cur()); +/// let c = meta.query_advice(c, Rotation::cur()); /// /// // BUG: Should be a * b - c /// a * b + c