<tr>
<td>AA|<i>op</i> BBBB</td></td>
<td>20bc</td>
- <td><i><code>op</code></i> BB, kind@AAAA</td>
+ <td><i><code>op</code></i> AA, kind@BBBB</td>
<td><i>suggested format for statically determined verification errors;
- B is the type of error and A is an index into a type-appropriate
+ A is the type of error and B is an index into a type-appropriate
table (e.g. method references for a no-such-method error)</i></td>
</tr>
<tr>