Skip to content

Commit

Permalink
Merge branch 'dnadales/549-upireg-traces-generator' of github.com:inp…
Browse files Browse the repository at this point in the history
…ut-output-hk/cardano-ledger-specs into dnadales/549-upireg-traces-generator
  • Loading branch information
dnadales committed Jun 19, 2019
2 parents daae817 + c0d010e commit 6a4a11e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion byron/ledger/executable-spec/src/Ledger/Update.hs
Expand Up @@ -888,7 +888,7 @@ instance HasTrace UPIREG where
idGen :: Gen UpId
idGen = do
-- Chose an increment for the maximum version seen in the update
-- proposal id's.
-- proposal IDs.
inc <- Gen.integral (Range.constant 1 10)
case Set.toDescList $ dom rpus of
[] -> UpId <$> Gen.element [0 .. inc]
Expand Down

0 comments on commit 6a4a11e

Please sign in to comment.