diff options
Diffstat (limited to 'docs/instruction-formats.html')
| -rw-r--r-- | docs/instruction-formats.html | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/docs/instruction-formats.html b/docs/instruction-formats.html index 2a81e607d..af5b09c78 100644 --- a/docs/instruction-formats.html +++ b/docs/instruction-formats.html @@ -467,12 +467,9 @@ the correspondence.</p> <td> </td> </tr> <tr> - <td><i>exop</i> BBBB AAAA<sub>lo</sub> AAAA<sub>hi</sub></td></td> - <td>40bc</td> - <td><i><code>exop</code></i> BBBB, kind@AAAAAAAA - <p><i>The unusual choice in lettering here reflects a desire to make - the letters match their use in related format 20bc.</i></p> - </td> + <td><i>exop</i> BBBB<sub>lo</sub> BBBB<sub>hi</sub> AAAA</td></td> + <td>40sc</td> + <td><i><code>exop</code></i> AAAA, kind@BBBBBBBB</td> <td><i>suggested format for statically determined verification errors; see <code>20bc</code>, above</i></td> </tr> |