From 76c4e87fefb83b33f8a540389488d442d16ed854 Mon Sep 17 00:00:00 2001 From: pdobacz <5735525+pdobacz@users.noreply.github.com> Date: Mon, 10 Jun 2024 15:35:46 +0200 Subject: [PATCH] Simplify wording --- spec/eof.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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