insnsb.c: use 5 digits for index, not 4
commit0a4d23219ec3237e5ca54e9ff06a44cfdcd9581a
authorH. Peter Anvin <hpa@zytor.com>
Mon, 12 May 2008 22:28:33 +0000 (12 15:28 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Mon, 12 May 2008 22:28:33 +0000 (12 15:28 -0700)
tree9285952aa4d5b44c77618f095654f4304b5701c2
parentff3b57c253f1ccfd4276fe4f4720d11e50b3c0d9
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