src/Pure/Syntax/syntax.ML
changeset 35394 11f58c600707
parent 35263 9927471cca35
child 35412 b8dead547d9e
     1.1 --- a/src/Pure/Syntax/syntax.ML	Sat Feb 27 13:31:55 2010 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Sat Feb 27 13:32:05 2010 +0100
     1.3 @@ -533,7 +533,7 @@
     1.4              \Retry with smaller Syntax.ambiguity_level for more information."
     1.5            else "";
     1.6  
     1.7 -        val errs = map check ts;
     1.8 +        val errs = Par_List.map check ts;
     1.9          val results = map_filter (fn (t, NONE) => SOME t | _ => NONE) (ts ~~ errs);
    1.10          val len = length results;
    1.11        in