Merge pull request #1593 from input-output-hk/uroboros/fix_epoch_newpp

Fix EPOCH STS rule to feed correct Pool state into NEWPP
IntersectMBO · Jun 30, 2020 · fc09235 · fc09235
2 parents 40698f8 + ae2394b
commit fc09235
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Epoch.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Epoch.hs
@@ -128,7 +128,7 @@ epochTransition = do
   let ppNew = votedValuePParams ppup pp (fromIntegral coreNodeQuorum)
   NewppState utxoSt'' acnt'' pp' <-
     trans @(NEWPP crypto) $
-      TRC (NewppEnv dstate' pstate', NewppState utxoSt' acnt' pp, ppNew)
+      TRC (NewppEnv dstate' pstate'', NewppState utxoSt' acnt' pp, ppNew)
   pure $
     EpochState
       acnt''