made SML/NJ happy;

--- a/src/Tools/Code/code_printer.ML	Wed Jul 21 16:50:42 2010 +0200
+++ b/src/Tools/Code/code_printer.ML	Wed Jul 21 17:46:36 2010 +0200
@@ -358,7 +358,7 @@
 
 val _ = List.app Keyword.keyword [infixK, infixlK, infixrK];
 
-val parse_tyco_syntax = parse_syntax (fn s => (0, (K o K o K o str) s)) I I;
+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;