Fixed regdeleg cert deposit calculation

IntersectMBO · Oct 4, 2024 · 897b8d8 · 897b8d8
1 parent 1d1dce2
commit 897b8d8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Ledger/Conway/Conformance/Utxo.agda b/src/Ledger/Conway/Conformance/Utxo.agda
@@ -33,6 +33,8 @@ instance
 
 certDepositUtxo : DCert → PParams → DepositPurpose ⇀ Coin
 certDepositUtxo (regpool kh _)     pp  = ❴ PoolDeposit kh , pp .poolDeposit ❵
+-- This is how RegDeleg certificates are translated in conformance testing
+certDepositUtxo (delegate c nothing nothing v) pp = ❴ CredentialDeposit c , pp .keyDeposit ❵
 certDepositUtxo _                  _   = ∅
 -- -- Handle the following two cases in Certs.Haskell module:
 -- certDeposit (delegate c _ _ v) _   = ❴ CredentialDeposit c , v ❵