From bdfbedefd2432b9bef84c9026e8a8039d79822ef Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Fri, 4 Oct 2024 17:15:23 +0200 Subject: [PATCH] Update o1vm/src/pickles/prover.rs Co-authored-by: marcbeunardeau88 --- o1vm/src/pickles/prover.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/o1vm/src/pickles/prover.rs b/o1vm/src/pickles/prover.rs index 032e5758c3..96302d331d 100644 --- a/o1vm/src/pickles/prover.rs +++ b/o1vm/src/pickles/prover.rs @@ -32,7 +32,7 @@ pub enum ProverError { #[error("the proof could not be constructed: {0}")] Generic(&'static str), - #[error("the provided (witness) constraints was not satisfied: {0}")] + #[error("the provided constraint was not satisfied: {0}")] ConstraintNotSatisfied(String), #[error("the provided (witness) constraint has degree {0} > allowed {1}; expr: {2}")]