Remove unused constraint

Although GHC didn't warn about it, the constraint was superfluous.
IntersectMBO · Apr 16, 2024 · a1e3729 · a1e3729
1 parent 10aaa09
commit a1e3729
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
@@ -457,7 +457,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