Remove redundant trait bound from RecursiveChip

input-output-hk · Mar 7, 2024 · 8f1a73c · 8f1a73c
1 parent 3fa7f12
commit 8f1a73c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/halo2_gadgets/src/recursive_chip.rs b/halo2_gadgets/src/recursive_chip.rs
@@ -107,7 +107,6 @@ impl<
     > DefaultRecursiveChip<FP, D, R, L>
 where
     FP: FixedPoints<C>,
-    <FP as FixedPoints<C>>::FullScalar: FixedPoint<C>,
     <FP as FixedPoints<C>>::Base: FixedPoint<C, FixedScalarKind = BaseFieldElem>,
     <FP as FixedPoints<C>>::FullScalar: FixedPoint<C, FixedScalarKind = FullScalar>,
     <FP as FixedPoints<C>>::ShortScalar: FixedPoint<C, FixedScalarKind = ShortScalar>,