From 3959cec180bb95477117feef3b31872199e4f9a0 Mon Sep 17 00:00:00 2001
From: Nicholas Ward <npward@berkeley.edu>
Date: Wed, 30 Jun 2021 21:59:10 -0700
Subject: [PATCH] mutable borrow fix

---
 src/gadgets/insert.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/gadgets/insert.rs b/src/gadgets/insert.rs
index 4b6a15b1..c14dcf8d 100644
--- a/src/gadgets/insert.rs
+++ b/src/gadgets/insert.rs
@@ -21,7 +21,8 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
 
     /// Evaluates to 1 if `x` and `y` are equal, 0 otherwise.
     pub fn is_equal(&mut self, x: Target, y: Target) -> Target {
-        self.is_zero(self.sub(x, y))
+        let difference = self.sub(x, y);
+        self.is_zero(difference)
     }
 
     /// Inserts a `Target` in a vector at a non-deterministic index. This is done by rotating to the