Fix fmt

geometryxyz · Oct 10, 2023 · 49e36fa · 49e36fa
1 parent 939777f
commit 49e36fa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/halo2_proofs/src/protostar/accumulator.rs b/halo2_proofs/src/protostar/accumulator.rs
@@ -94,7 +94,7 @@ impl<C: CurveAffine> Accumulator<C> {
             let mut error_poly_vanish = error_poly.clone();
             // subtract (1-t)e0 + te1 = e0 + t(e1-e0)
             error_poly_vanish[0] -= error0;
-            error_poly_vanish[1] -= error1-error0;
+            error_poly_vanish[1] -= error1 - error0;
             quotient_by_boolean_vanishing(&error_poly_vanish)
         };
 

diff --git a/halo2_proofs/src/protostar/constraints.rs b/halo2_proofs/src/protostar/constraints.rs
@@ -16,7 +16,7 @@ pub(crate) mod expression;
 pub(crate) mod paired;
 pub(crate) mod polynomial;
 
-/// Used to store references of the variables referenced by an expression. 
+/// Used to store references of the variables referenced by an expression.
 /// TODO: Merge with Verifier and Prover accumulator
 pub struct Data<T: QueryType> {
     fixed: Vec<T::Fixed>,