From 0a4d23219ec3237e5ca54e9ff06a44cfdcd9581a Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Mon, 12 May 2008 15:28:33 -0700
Subject: [PATCH] insnsb.c: use 5 digits for index, not 4

We already have indexes up to 9500, so use 5 digits instead of 4.
---
 insns.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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++;
-- 
2.7.4