From f096968998fb1ec8bcea6b7bff51a96c56fd3eab Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Mon, 19 Nov 2007 11:44:05 -0800
Subject: [PATCH] insns.pl: remove debugging output

Remove debugging output which was never meant to be checked in.
---
 insns.pl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/insns.pl b/insns.pl
index 158c2f07..f48e2cc2 100644
--- a/insns.pl
+++ b/insns.pl
@@ -57,7 +57,6 @@ while (<F>) {
   if ($formatted && !$nd) {
     push @big, $formatted;
     my @sseq = startseq($_[2]);
-    print $_[0], ':', join(',', @sseq), "\n";
     foreach $i (@sseq) {
 	if (!defined($dinstables{$i})) {
 	    $dinstables{$i} = [];
-- 
2.11.4.GIT