audit issue #1764

IntersectMBO · Aug 11, 2020 · 901bb91 · 901bb91
1 parent cacd290
commit 901bb91
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Delegs.hs b/shelley/chain-and-ledger/executable-spec/src/Shelley/Spec/Ledger/STS/Delegs.hs
@@ -125,7 +125,7 @@ delegsTransition ::
   Crypto crypto =>
   TransitionRule (DELEGS crypto)
 delegsTransition = do
-  TRC (env@(DelegsEnv slot txIx pp tx reserves), dpstate, certificates) <- judgmentContext
+  TRC (env@(DelegsEnv slot txIx pp tx acnt), dpstate, certificates) <- judgmentContext
   network <- liftSTS $ asks networkId
 
   case certificates of
@@ -156,7 +156,7 @@ delegsTransition = do
 
       let ptr = Ptr slot txIx (fromIntegral $ length gamma)
       trans @(DELPL crypto) $
-        TRC (DelplEnv slot ptr pp reserves, dpstate', c)
+        TRC (DelplEnv slot ptr pp acnt, dpstate', c)
 
 instance
   Crypto crypto =>