Doc correction
<td>Not supported</td>
</tr>
<tr>
- <th>Pinpoint erroneous bytecode</th>
- <td><a href="screenshots/verify-export.png">Supported</a></td>
- <td>Not supported</td>
+ <th>Inline verification tips</th>
+ <td>Supported</td>
+ <td>Supported</td>
<td>Not supported</td>
<td>Not supported</td>
<td>Not supported</td>
