Skip to content

Commit

Permalink
Simplify wording
Browse files Browse the repository at this point in the history
  • Loading branch information
pdobacz committed Jun 10, 2024
1 parent dade0d0 commit 76c4e87
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/eof.md
Original file line number Diff line number Diff line change
Expand Up @@ -295,7 +295,7 @@ The following instructions are introduced in EOF code:
- the part of the data section which exceeds these bounds (the `dynamic_aux_data` portion) needs to be accessed using `DATALOAD` or `DATACOPY`
- no unreachable code sections are allowed, i.e. every code section can be reached from the 0th code section with a series of CALLF / JUMPF instructions, and section 0 is implicitly reachable.
- it is an error for a container to contain both `RETURNCONTRACT` and either of `RETURN` or `STOP`.
- it is an error for a subcontainer to never be referenced in code sections of its parent container
- it is an error for a subcontainer to never be referenced in its parent container
- it is an error for a given subcontainer to be referenced by both `RETURNCONTRACT` and `EOFCREATE`

## Stack Validation
Expand Down

0 comments on commit 76c4e87

Please sign in to comment.