From 079959af2faa661120e908208114b1f0eb50d410 Mon Sep 17 00:00:00 2001 From: uroboros Date: Wed, 1 Jul 2020 18:13:10 +0200 Subject: [PATCH] Fix POOLREAP in the case of multiple pools sharing a reward account --- .../executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs index 92026b12aba..7cd23bfc2d1 100644 --- a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs +++ b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/PoolReap.hs @@ -72,7 +72,7 @@ poolReapTransition = do pr = Map.fromList $ fmap (\kh -> (kh, _poolDeposit pp)) (Set.toList retired) rewardAcnts = Map.map _poolRAcnt $ retired ◁ (_pParams ps) rewardAcnts' = - Map.fromList + Map.fromListWith (+) . Map.elems $ Map.intersectionWith (,) rewardAcnts pr (refunds, mRefunds) =