Update eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules/…

…TestChain.hs
IntersectMBO · Nov 18, 2021 · c3ef302 · c3ef302
1 parent 6900bf2
commit c3ef302
Showing 1 changed file with 1 addition and 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
@@ -247,7 +247,7 @@ incrStakeComp SourceSignalTarget {source = chainSt, signal = block} =
                 ]
               )
           )
-          $ counterExampleTooBig u' .||. utxoBal === incrStakeBal
+          $ utxoBal === incrStakeBal
         where
           counterExampleTooBig x = Map.size (unUTxO x) > 50