--- a/src/Pure/Syntax/syntax.ML Sun Nov 29 17:13:27 2009 +0100
+++ b/src/Pure/Syntax/syntax.ML Sun Nov 29 17:14:24 2009 +0100
@@ -496,7 +496,7 @@
else if ! ambiguity_is_error then error (ambiguity_msg pos)
else
(warning (cat_lines
- (("Ambiguous input " ^ Position.str_of pos ^
+ (("Ambiguous input" ^ Position.str_of pos ^
"\nproduces " ^ string_of_int len ^ " parse trees" ^
(if len <= limit then "" else " (" ^ string_of_int limit ^ " displayed)") ^ ":") ::
map show_pt (Library.take (limit, pts)))));