Remove unused constraint

Although GHC didn't warn about it, the constraint was superfluous.
IntersectMBO · Apr 16, 2024 · 3c56069 · 3c56069
1 parent aae5f9d
commit 3c56069
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs b/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs
@@ -453,7 +453,6 @@ instance
   , Environment (EraRule "UTXOS" era) ~ UtxoEnv era
   , State (EraRule "UTXOS" era) ~ UTxOState era
   , Signal (EraRule "UTXOS" era) ~ Tx era
-  , PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era
   ) =>
   STS (BabbageUTXO era)
   where