From 7c71eb66908260f163938dc1ad4b1b7851893aed Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Fri, 11 Feb 2022 10:25:51 +0100
Subject: [PATCH] Fix mul_add -> mul_sub typo

---
 system_zero/src/arithmetic/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system_zero/src/arithmetic/mod.rs b/system_zero/src/arithmetic/mod.rs
index c635d58d..45a9f7d9 100644
--- a/system_zero/src/arithmetic/mod.rs
+++ b/system_zero/src/arithmetic/mod.rs
@@ -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);
     }