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