From c3ef3028afb520f604d83645c73750c1285334af Mon Sep 17 00:00:00 2001 From: Jared Corduan Date: Thu, 18 Nov 2021 10:00:13 -0500 Subject: [PATCH] Update eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs --- .../src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs b/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs index c8680b81bb1..5550a968d5d 100644 --- a/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs +++ b/eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/TestChain.hs @@ -247,7 +247,7 @@ incrStakeComp SourceSignalTarget {source = chainSt, signal = block} = ] ) ) - $ counterExampleTooBig u' .||. utxoBal === incrStakeBal + $ utxoBal === incrStakeBal where counterExampleTooBig x = Map.size (unUTxO x) > 50