apply formatting

2022-10-31 13:43:32 +01:00 · 2022-10-31 13:43:32 +01:00 · 914098655d
commit 914098655d
parent bf8290be46
5 changed files with 18 additions and 11 deletions
--- a/agora-specs/Sample/Proposal/Unlock.hs
+++ b/agora-specs/Sample/Proposal/Unlock.hs
@ -348,7 +348,8 @@ unlock ps = builder
         in closedBoundedInterval (lb + 1) (ub - 1)
      AfterVoting ->
        let lb =
-              s + (def :: ProposalTimingConfig).draftTime
+              s
+                + (def :: ProposalTimingConfig).draftTime
                + (def :: ProposalTimingConfig).votingTime
            ub = lb + (def :: ProposalTimingConfig).lockingTime
         in closedBoundedInterval (lb + 1) (ub - 1)