File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rules Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -53,7 +53,7 @@ import Test.QuickCheck (
5353import Test.Tasty (TestTree )
5454import Test.Tasty.QuickCheck (testProperty )
5555
56- -- | Various properties of the POOL STS Rule, tested on longer traces
56+ -- | Various properties of the DELEG STS Rule, tested on longer traces
5757-- (double the default length)
5858tests ::
5959 forall era .
Original file line number Diff line number Diff line change @@ -134,7 +134,7 @@ poolRegistrationProp
134134 , counterexample
135135 " New StakePoolParams are registered in future Params map"
136136 ( Map. lookup hk (psFutureStakePools targetSt)
137- === Just (mkStakePoolState (sps ^. spsDepositL) (sps ^. spsDelegatorsL) stakePoolParams)
137+ === Just (mkStakePoolState (sps ^. spsDepositL) mempty stakePoolParams)
138138 )
139139 , counterexample
140140 " StakePoolParams are removed in 'retiring'"
You can’t perform that action at this time.
0 commit comments