We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3c912a1 commit 46d6e66Copy full SHA for 46d6e66
relations/src/gr1cs/constraint_system.rs
@@ -811,13 +811,9 @@ impl<F: Field> ConstraintSystem<F> {
811
if var.is_zero() {
812
LinearCombination::zero()
813
} else if var.is_lc() {
814
- // If the variable is a symbolic linear combination, we return the
815
- // linear combination corresponding to that index.
816
let lc_index = var.index().unwrap();
817
LinearCombination(self.lc_map[lc_index].to_vec())
818
} else {
819
- // If the variable is not a linear combination, we convert it to a
820
- // linear combination.
821
LinearCombination::from(var)
822
}
823
0 commit comments