From a1e37293219b84138bcef88888b37f94ba8cdfc5 Mon Sep 17 00:00:00 2001 From: Lucsanszky Date: Tue, 16 Apr 2024 15:50:43 +0200 Subject: [PATCH] Remove unused constraint Although GHC didn't warn about it, the constraint was superfluous. --- eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs | 1 - 1 file changed, 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 index e22610fb3f9..5bb9f683c64 100644 --- 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