From 15b41ea8fb11716ab9f2268aa37ce39974bac530 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Mon, 22 Nov 2021 22:13:24 +0100
Subject: [PATCH] PR feedback

---
 src/gadgets/arithmetic_extension.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/gadgets/arithmetic_extension.rs b/src/gadgets/arithmetic_extension.rs
index cc82be68..d81943ab 100644
--- a/src/gadgets/arithmetic_extension.rs
+++ b/src/gadgets/arithmetic_extension.rs
@@ -46,17 +46,17 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
 
         let result = if self.target_as_constant_ext(addend) == Some(F::Extension::ZERO) {
             // If the addend is zero, we use a multiplication gate.
-            self.add_mul_extension_operation(operation)
+            self.compute_mul_extension_operation(operation)
         } else {
             // Otherwise, we use an arithmetic gate.
-            self.add_arithmetic_extension_operation(operation)
+            self.compute_arithmetic_extension_operation(operation)
         };
         // Otherwise, we must actually perform the operation using an ArithmeticExtensionGate slot.
         self.arithmetic_results.insert(operation, result);
         result
     }
 
-    fn add_arithmetic_extension_operation(
+    fn compute_arithmetic_extension_operation(
         &mut self,
         operation: ExtensionArithmeticOperation<F, D>,
     ) -> ExtensionTarget<D> {
@@ -79,7 +79,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         ExtensionTarget::from_range(gate, ArithmeticExtensionGate::<D>::wires_ith_output(i))
     }
 
-    fn add_mul_extension_operation(
+    fn compute_mul_extension_operation(
         &mut self,
         operation: ExtensionArithmeticOperation<F, D>,
     ) -> ExtensionTarget<D> {