diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs index a77ea440fac..f77b27e1d51 100644 --- a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs +++ b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Deleg.hs @@ -24,7 +24,7 @@ dStateSpec :: Specification fn (DState (ConwayEra StandardCrypto)) dStateSpec = constrained $ \ds -> match ds $ \umap _futureGenDelegs _genDelegs _rewards -> - match umap $ {- \ umapRep -> match umapRep $ -} \rdMap ptrMap sPoolMap _dRepMap -> + match umap $ \rdMap ptrMap sPoolMap _dRepMap -> [ assertExplain ["dom sPoolMap is a subset of dom rdMap"] $ dom_ sPoolMap `subset_` dom_ rdMap , assertExplain ["dom ptrMap is empty"] $ dom_ ptrMap ==. mempty ]