From 821bca0abe0f0d7d88155e4da91dbb1e48d93ed7 Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Fri, 12 Feb 2021 16:52:42 +0000
Subject: [PATCH] Reduce FieldExt bound to Field for Neg and Sub impls on
 Expression<F>

---
 src/plonk/circuit.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plonk/circuit.rs b/src/plonk/circuit.rs
index 3e74d7d..3e8c71f 100644
--- a/src/plonk/circuit.rs
+++ b/src/plonk/circuit.rs
@@ -7,7 +7,7 @@ use std::{
 };
 
 use super::{lookup, permutation, Error};
-use crate::{arithmetic::FieldExt, poly::Rotation};
+use crate::poly::Rotation;
 
 /// A column type
 pub trait ColumnType: 'static + Sized {}
@@ -319,7 +319,7 @@ impl<F: Field> Expression<F> {
     }
 }
 
-impl<F: FieldExt> Neg for Expression<F> {
+impl<F: Field> Neg for Expression<F> {
     type Output = Expression<F>;
     fn neg(self) -> Self::Output {
         Expression::Scaled(Box::new(self), -F::one())
@@ -333,7 +333,7 @@ impl<F> Add for Expression<F> {
     }
 }
 
-impl<F: FieldExt> Sub for Expression<F> {
+impl<F: Field> Sub for Expression<F> {
     type Output = Expression<F>;
     fn sub(self, rhs: Expression<F>) -> Expression<F> {
         Expression::Sum(Box::new(self), Box::new(-rhs))