Remove redundant constraint

IntersectMBO · Dec 10, 2024 · ef07c87 · ef07c87
1 parent e6a51c4
commit ef07c87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs
@@ -140,7 +140,7 @@ delegEnvSpec = constrained $ \env ->
 
 shelleyDelegCertSpec ::
   forall fn era.
-  (EraPParams era, IsConwayUniv fn) =>
+  IsConwayUniv fn =>
   ConwayDelegEnv era ->
   DState era ->
   Specification fn (ShelleyDelegCert)