Fix mul_add -> mul_sub typo

This commit is contained in:
wborgeaud 2022-02-11 10:25:51 +01:00
parent 645d45f227
commit 7c71eb6690

View File

@ -64,7 +64,7 @@ pub(crate) fn eval_arithmetic_unit_recursively<F: RichField + Extendable<D>, con
// Check that the operation flag values are binary.
for col in [IS_ADD, IS_SUB, IS_MUL, IS_DIV] {
let val = local_values[col];
let constraint = builder.mul_add_extension(val, val, val);
let constraint = builder.mul_sub_extension(val, val, val);
yield_constr.constraint_wrapping(builder, constraint);
}