Fixed a typo

Soupstraw · Soupstraw · commit 2b645bd3b516 · 2025-07-07T18:30:55.000+03:00
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/AggPropTests.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Generic/AggPropTests.hs
@@ -81,7 +81,7 @@ consistentUtxoSizeProp proof trace = aggProp agg0 aggregate makeprop trace
     aggTx count tx =
       count
         + ( if valid
-              then length (body ^. inputsTxBodyL) - Set.size (body ^. inputsTxBodyL)
+              then length (body ^. outputsTxBodyL) - Set.size (body ^. inputsTxBodyL)
               else length (getCollateralOutputs proof body) - Set.size (getCollateralInputs proof body)
           )
       where

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ consistentUtxoSizeProp proof trace = aggProp agg0 aggregate makeprop trace`
`81`	`81`	`aggTx count tx =`
`82`	`82`	`count`
`83`	`83`	`+ ( if valid`
`84`		`- then length (body ^. inputsTxBodyL) - Set.size (body ^. inputsTxBodyL)`
	`84`	`+ then length (body ^. outputsTxBodyL) - Set.size (body ^. inputsTxBodyL)`
`85`	`85`	`else length (getCollateralOutputs proof body) - Set.size (getCollateralInputs proof body)`
`86`	`86`	`)`
`87`	`87`	`where`