diff options
| author | Luke Wagner <luke@mozilla.com> | 2016-03-02 09:55:41 -0600 |
|---|---|---|
| committer | Luke Wagner <luke@mozilla.com> | 2016-03-04 00:42:35 -0600 |
| commit | db3dadda0c700372355106312943a77a71c7cacd (patch) | |
| tree | 3a050438ff56b247c9640f43f14a2d29dbc097cd /BinaryEncoding.md | |
| parent | 97e54b55d6a1f76d9466fe3d6be8a49e61f5ab01 (diff) | |
| download | nanowasm-design-db3dadda0c700372355106312943a77a71c7cacd.tar.gz | |
s/observable/execution/
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 |