fix loop bound (#20)

2 years ago · 6797e1e042
1 changed files with 1 additions and 1 deletions
--- a/src/r1cs.rs
+++ b/src/r1cs.rs
@ -83,7 +83,7 @@ impl R1CSShape {
                    num_io: usize,
                    M: &[(usize, usize, G::Scalar)]|
     -> Result<(), NovaError> {
      let res = (0..num_cons)
      let res = (0..M.len())
        .map(|i| {
          let (row, col, _val) = M[i];
          if row >= num_cons || col > num_io + num_vars {