Update specs/core/0_beacon-chain.md

Co-Authored-By: vbuterin <v@buterin.com>
This commit is contained in:
Hsiao-Wei Wang 2019-03-01 19:04:55 -06:00 committed by GitHub
parent ff88d22f9a
commit 3d8e0f1920
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1798,7 +1798,7 @@ Verify that `len(block.body.voluntary_exits) <= MAX_VOLUNTARY_EXITS`.
For each `exit` in `block.body.voluntary_exits`, run the following function:
```python
def process_exit(exit: VoluntaryExit, state: BeaconState):
def process_exit(state: BeaconState, exit: VoluntaryExit) -> None:
validator = state.validator_registry[exit.validator_index]
# Verify the validator has not yet exited
assert validator.exit_epoch > get_delayed_activation_exit_epoch(get_current_epoch(state))