# HG changeset patch
# User wenzelm
# Date 1279727196 -7200
# Node ID 527cedd713565fbc7458ec042e14f0bab26afca8
# Parent  eb89d0ac75fb343f3a9c43e3c08fda4819b66999
made SML/NJ happy;

diff -r eb89d0ac75fb -r 527cedd71356 src/Tools/Code/code_printer.ML
--- 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;