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