remove stake checking in more places

2022-08-30 00:45:12 +02:00 · 2022-08-30 00:45:12 +02:00 · baf209843a
commit baf209843a
parent 6a86a096db
3 changed files with 199 additions and 204 deletions
--- a/agora-specs/Sample/Proposal/Advance.hs
+++ b/agora-specs/Sample/Proposal/Advance.hs
@ -966,7 +966,7 @@ mkInvalidOutputStakeBundles nCosigners nEffects =
  liftA2
    mkBundle
    [True, False]
-    [Draft, VotingReady]
+    [Draft]
  where
    mkBundle authScript from =
      let template = mkValidToNextStateBundle nCosigners nEffects authScript from