fix: Support annotations for CellNotAssigned in verify_par (#138)

privacy-scaling-explorations · Feb 2, 2023 · 0c99e89 · 0c99e89
1 parent c7e42e4
commit 0c99e89
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/halo2_proofs/src/dev.rs b/halo2_proofs/src/dev.rs
@@ -1022,7 +1022,12 @@ impl<F: FieldExt> MockProver<F> {
                                         } else {
                                             Some(VerifyFailure::CellNotAssigned {
                                                 gate: (gate_index, gate.name()).into(),
-                                                region: (r_i, r.name.clone()).into(),
+                                                region: (
+                                                    r_i,
+                                                    r.name.clone(),
+                                                    r.annotations.clone(),
+                                                )
+                                                    .into(),
                                                 gate_offset: *selector_row,
                                                 column: cell.column,
                                                 offset: cell_row as isize