diff --git a/halo2_proofs/src/dev.rs b/halo2_proofs/src/dev.rs index 8ac379cfac..98b99012ce 100644 --- a/halo2_proofs/src/dev.rs +++ b/halo2_proofs/src/dev.rs @@ -461,12 +461,7 @@ impl Assignment for MockProver { .get_mut(column.index()) .and_then(|v| v.get_mut(row)) .expect("bounds failure"); - if let CellValue::Assigned(value) = value { - // Inconsistent assignment between different phases. - assert_eq!(value, &to, "value={:?}, to={:?}", value, &to); - } else { - *value = CellValue::Assigned(to); - } + *value = CellValue::Assigned(to); } Err(err) => { // Propagate `assign` error if the column is in current phase.