formal-ledger-specification commit 0da38f6e5a2c37d16d6eea0333b15fc227…

…e7e33d
input-output-hk · May 7, 2024 · 0f40403 · 0f40403
1 parent 1d3b595
commit 0f40403
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/MAlonzo/Code/Ledger/Foreign/LedgerTypes.hs b/MAlonzo/Code/Ledger/Foreign/LedgerTypes.hs
@@ -129,6 +129,7 @@ data PParams = MkPParams
   , maxValSize          :: Integer
   , minUTxOValue        :: Coin
   , poolDeposit         :: Coin
+  , keyDeposit          :: Coin
   , emax                :: Epoch
   , nopt                :: Integer
   , pv                  :: (Integer, Integer)