diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs index 50720a7c514..26796030c99 100644 --- a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs +++ b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs @@ -67,9 +67,10 @@ govCertSpec ConwayGovCertEnv {..} certState = ] ) -- ConwayUnRegDRep - ( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] -> - assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits)) - ) + -- ( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] -> + -- assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits)) + -- ) + (branchW 3 $ \_credUnreg _coinUnreg -> False) -- ConwayUpdateDRep ( branchW 1 $ \ [var|keyupdate|] _ -> member_ keyupdate reps