diff options
| -rwxr-xr-x | parse-opcodes | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parse-opcodes b/parse-opcodes index 1cd764a..c34c1c6 100755 --- a/parse-opcodes +++ b/parse-opcodes @@ -697,7 +697,6 @@ def print_footer(caption=''): \\end{center} \\end{small} %s -\\label{instr-table} \\end{table} """ % caption) |