removed debugging output

--- a/src/Pure/Syntax/parser.ML	Mon Jul 03 13:08:49 1995 +0200
+++ b/src/Pure/Syntax/parser.ML	Mon Jul 03 13:37:29 1995 +0200
@@ -499,11 +499,8 @@
       add_prods prods' fromto_chains lambdas None prods2;
 
     val chains' = inverse_chains fromto_chains' [];
-  in Pretty.writeln (Pretty.big_list "prods:" (pretty_gram (Gram {nt_count = nt_count', prod_count = prod_count', tags = tags',
-           chains = chains', lambdas = lambdas', prods = prods'})));
-Gram {nt_count = nt_count', prod_count = prod_count', tags = tags',
+  in Gram {nt_count = nt_count', prod_count = prod_count', tags = tags',
            chains = chains', lambdas = lambdas', prods = prods'}
-     
   end;