From 8ae664d94fba60ea38d96dc55ca5353c3a40e72c Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 23 Jun 2021 14:22:42 +0200
Subject: [PATCH] Minor

---
 src/gadgets/arithmetic.rs | 2 --
 src/witness.rs            | 5 +++--
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/gadgets/arithmetic.rs b/src/gadgets/arithmetic.rs
index 520f8cd9..7a9fd441 100644
--- a/src/gadgets/arithmetic.rs
+++ b/src/gadgets/arithmetic.rs
@@ -385,8 +385,6 @@ mod tests {
 
         let x = FF::rand();
         let y = FF::rand();
-        let x = FF::TWO;
-        let y = FF::ONE;
         let z = x / y;
         let xt = builder.constant_extension(x);
         let yt = builder.constant_extension(y);
diff --git a/src/witness.rs b/src/witness.rs
index f55d4297..aff0192a 100644
--- a/src/witness.rs
+++ b/src/witness.rs
@@ -1,4 +1,5 @@
 use std::collections::HashMap;
+use std::convert::TryInto;
 
 use anyhow::{ensure, Result};
 
@@ -139,8 +140,8 @@ impl<F: Field> PartialWitness<F> {
                 let vb = self.target_values.get(&b).copied().unwrap_or(F::ZERO);
                 ensure!(
                     va == vb,
-                    "Copy constraint between wire {} of gate #{} (`{}`) and wire {} of gate #{} (`{}`) is not satisfied.\
-                     Got values of {} and {} respectively.",
+                    "Copy constraint between wire {} of gate #{} (`{}`) and wire {} of gate #{} (`{}`) is not satisfied. \
+                    Got values of {} and {} respectively.",
                     wa.input, wa.gate, gate_instances[wa.gate].gate_type.0.id(), wb.input, wb.gate,
                     gate_instances[wb.gate].gate_type.0.id(), va, vb);
             }