File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -1463,17 +1463,17 @@ Properties of state objects:
14631463These state changes must occur in the order listed in the table above,
14641464as far as they do occur, except that ` thawed ` and ` finalized ` may occur
14651465in any order. For example, the contest may never be frozen and hence not
1466- thawed either, or, it may be finalized before it is thawed. That, is the
1466+ thawed either, or, it may be finalized before it is thawed. I.e., the
14671467following sequence of inequalities must hold:
14681468
14691469```
14701470started < frozen < ended < thawed < end_of_updates,
14711471 ended < finalized < end_of_updates.
14721472```
14731473
1474- A contest that has ended, has been thawed (or was never frozen) and is
1475- finalized must not change. Thus, ` end_of_updates ` can be set once both
1476- ` finalized ` is set and ` thawed ` is set if the contest was frozen.
1474+ A contest that has ended, been thawed (or was never frozen) and is finalized
1475+ must not change. Thus, ` end_of_updates ` can be set once both ` finalized ` is set
1476+ and ` thawed ` is set if the contest was frozen.
14771477
14781478#### Examples
14791479
You can’t perform that action at this time.
0 commit comments