fix error using not operator on mutable boolean

This commit is contained in:
collin 2020-11-16 15:50:10 -08:00
parent 848adfa6dd
commit 2ed5e02de3

View File

@ -138,7 +138,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
// Boolean operations
Expression::Not(expression, span) => Ok(evaluate_not(
self.enforce_expression(cs, file_scope, function_scope, expected_type, *expression)?,
self.enforce_operand(cs, file_scope, function_scope, expected_type, *expression, &span)?,
span,
)?),
Expression::Or(left_right, span) => {