try to fix complete pragma

IntersectMBO · May 25, 2023 · dbe7886 · dbe7886
1 parent d410367
commit dbe7886
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/eras/conway/impl/src/Cardano/Ledger/Conway/TxCert.hs b/eras/conway/impl/src/Cardano/Ledger/Conway/TxCert.hs
@@ -234,7 +234,7 @@ pattern UnRegCommitteeHotTxCert ck <- (getUnRegCommitteeHotTxCert -> Just ck)
   , DelegTxCert
   , RegDepositDelegTxCert
   , RegCommitteeHotTxCert
-  , UnRegCommitteeHotTxCert
+  , UnRegCommitteeHotTxCert :: ConwayTxCert
   #-}
 
 -- | First type argument is the deposit

diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxCert.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/TxCert.hs
@@ -211,7 +211,7 @@ pattern GenesisDelegTxCert genKey genDelegKey vrf <-
   , UnRegTxCert
   , DelegStakeTxCert
   , MirTxCert
-  , GenesisDelegTxCert
+  , GenesisDelegTxCert :: ShelleyTxCert
   #-}
 
 -- | Genesis key delegation certificate