From 918201d0f9f1fba89ae5b50ef4e460820027c1cf Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Wed, 15 Jun 2022 17:23:04 +0200
Subject: [PATCH] Fix new lints

---
 evm/src/prover.rs    | 3 ---
 starky/src/prover.rs | 2 --
 2 files changed, 5 deletions(-)

diff --git a/evm/src/prover.rs b/evm/src/prover.rs
index facf22f1..f7ee3b40 100644
--- a/evm/src/prover.rs
+++ b/evm/src/prover.rs
@@ -41,7 +41,6 @@ pub fn prove<F, C, const D: usize>(
 where
     F: RichField + Extendable<D>,
     C: GenericConfig<D, F = F>,
-    [(); <<F as Packable>::Packing>::WIDTH]:,
     [(); C::Hasher::HASH_SIZE]:,
     [(); CpuStark::<F, D>::COLUMNS]:,
     [(); CpuStark::<F, D>::PUBLIC_INPUTS]:,
@@ -139,7 +138,6 @@ where
     F: RichField + Extendable<D>,
     C: GenericConfig<D, F = F>,
     S: Stark<F, D>,
-    [(); <<F as Packable>::Packing>::WIDTH]:,
     [(); C::Hasher::HASH_SIZE]:,
     [(); S::COLUMNS]:,
     [(); S::PUBLIC_INPUTS]:,
@@ -313,7 +311,6 @@ where
     S: Stark<F, D>,
     [(); S::COLUMNS]:,
     [(); S::PUBLIC_INPUTS]:,
-    [(); P::WIDTH]:,
 {
     let degree = 1 << degree_bits;
     let rate_bits = config.fri_config.rate_bits;
diff --git a/starky/src/prover.rs b/starky/src/prover.rs
index 04b34241..75e63ea5 100644
--- a/starky/src/prover.rs
+++ b/starky/src/prover.rs
@@ -42,7 +42,6 @@ where
     S: Stark<F, D>,
     [(); S::COLUMNS]:,
     [(); S::PUBLIC_INPUTS]:,
-    [(); <<F as Packable>::Packing>::WIDTH]:,
     [(); C::Hasher::HASH_SIZE]:,
 {
     let degree = trace_poly_values[0].len();
@@ -216,7 +215,6 @@ where
     S: Stark<F, D>,
     [(); S::COLUMNS]:,
     [(); S::PUBLIC_INPUTS]:,
-    [(); P::WIDTH]:,
 {
     let degree = 1 << degree_bits;
     let rate_bits = config.fri_config.rate_bits;