insnsb.c: use 5 digits for index, not 4

We already have indexes up to 9500, so use 5 digits instead of 4.

diff --git a/insns.pl b/insns.pl
index 064a3f4..0110121 100644 (file)
--- a/insns.pl
+++ b/insns.pl
@@ -113,7 +113,7 @@ if ( !defined($output) || $output eq 'b') {
 
     $p = 0;
     foreach $bl (@bytecode_array) {
-       printf B "    /* %4d */ ", $p;
+       printf B "    /* %5d */ ", $p;
        foreach $d (@$bl) {
            printf B "%#o,", $d;
            $p++;