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

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

1 files changed, 1 insertions, 1 deletions

diff --git a/insns.pl b/insns.pl
index 064a3f4..0110121 100644
--- 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++;