From db3dadda0c700372355106312943a77a71c7cacd Mon Sep 17 00:00:00 2001 From: Luke Wagner Date: Wed, 2 Mar 2016 09:55:41 -0600 Subject: s/observable/execution/ --- BinaryEncoding.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index a997dc2..b392e13 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -244,7 +244,7 @@ ID: `function_names` The number of names is determined by the number of declared functions. The sequence of names assigns a name to each function index. -This section may occur 0 or 1 times and does not change observable semantics. A +This section may occur 0 or 1 times and does not change execution semantics. A validation error in this section is not reported and is treated as the section being absent. The expectation is that, when a binary WebAssembly module is viewed in a browser or other development environment, the names in this section @@ -263,7 +263,7 @@ The sequence of names is defined to be the concatentation of the sequence of local names (ordered by local index) for each function (ordered by function index). This sequence assigns a name to every local index in every function. -This section may occur 0 or 1 times and does not change observable semantics. A +This section may occur 0 or 1 times and does not change execution semantics. A validation error in this section is not reported and is treated as the section being absent. The expectation is that, when a binary WebAssembly module is viewed in a browser or other development environment, the names in this section -- cgit v1.2.3