diff -r acc8ebf980ca -r b8c7eb0c2f89 src/Tools/Code/code_printer.ML
--- a/src/Tools/Code/code_printer.ML	Thu Mar 15 17:45:54 2012 +0100
+++ b/src/Tools/Code/code_printer.ML	Thu Mar 15 19:02:34 2012 +0100
@@ -405,8 +405,6 @@
         >> (fn ((x, i), s) => mk_complex (parse_infix prep_arg (x, i) s))
       || Parse.string >> (fn s => (parse_mixfix mk_plain mk_complex prep_arg s)));
 
-val _ = List.app Keyword.keyword [infixK, infixlK, infixrK];
-
 fun parse_tyco_syntax x = parse_syntax (fn s => (0, (K o K o K o str) s)) I I x;
 
 val parse_const_syntax = parse_syntax plain_const_syntax simple_const_syntax fst;