remove unnecessary ifElse

IntersectMBO · Apr 25, 2024 · ce1fac2 · ce1fac2
1 parent 57a9aca
commit ce1fac2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Gov.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/Gov.hs
@@ -76,7 +76,6 @@ govProposalsSpec GovEnv {geEpoch, gePPolicy, gePrevGovActionIds} =
                         (majV ==. majV')
                         (minV' ==. minV + 1)
                         (minV' ==. 0)
-                    , minV' `dependsOn` majV'
                     ]
           ]
       , forAll (snd_ hardForkTree) (genHint treeGenHint)