diff --git a/spec/eof.md b/spec/eof.md index 008d1e4..4dff40d 100644 --- a/spec/eof.md +++ b/spec/eof.md @@ -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